git: b3504b217df4 - main - x11/kitty: kitty.conf(5) manual page improvement

The branch main has been updated by nivit:

URL: https://cgit.FreeBSD.org/ports/commit/?id=b3504b217df4de1ae0b48e4619dac25694c7e42a

commit b3504b217df4de1ae0b48e4619dac25694c7e42a
Author:     Nicola Vitale <nivit@FreeBSD.org>
AuthorDate: 2023-08-26 08:01:56 +0000
Commit:     Nicola Vitale <nivit@FreeBSD.org>
CommitDate: 2023-08-26 08:01:56 +0000

    x11/kitty: kitty.conf(5) manual page improvement
    
    Add an OVERVIEW section to that manpage, so that the NAME section has
    only few words. See for example the output when visiting
    
    https://man.freebsd.org/cgi/man.cgi?query=kitty.conf&apropos=1
    
    Current rendering:
    
    https://user-images.githubusercontent.com/192271/260857832-927f7a50-a95a-4fb0-9092-d39d0e52f1b1.png
    
    PR:             273248
    Reported by:    Graham Perrin <grahamperrin@gmail.com>
---
 x11/kitty/files/patch-docs_conf.py  | 11 ++++++++++-
 x11/kitty/files/patch-docs_conf.rst | 18 ++++++++++++++++++
 2 files changed, 28 insertions(+), 1 deletion(-)

diff --git a/x11/kitty/files/patch-docs_conf.py b/x11/kitty/files/patch-docs_conf.py
index a9775ffc7d43..58693f67f47e 100644
--- a/x11/kitty/files/patch-docs_conf.py
+++ b/x11/kitty/files/patch-docs_conf.py
@@ -1,5 +1,14 @@
---- docs/conf.py.orig	2023-05-12 12:26:28 UTC
+--- docs/conf.py.orig	2023-08-26 07:33:11 UTC
 +++ docs/conf.py
+@@ -177,7 +177,7 @@ manpages_url = 'https://man7.org/linux/man-pages/man{s
+ # (source start file, name, description, authors, manual section).
+ man_pages = [
+     ('invocation', 'kitty', 'kitty Documentation', [author], 1),
+-    ('conf', 'kitty.conf', 'kitty.conf Documentation', [author], 5)
++    ('conf', 'kitty.conf', 'kitty terminal emulator configuration file', [author], 5)
+ ]
+ 
+ 
 @@ -207,18 +207,10 @@ def commit_role(
      name: str, rawtext: str, text: str, lineno: int, inliner: Any, options: Any = {}, content: Any = []
  ) -> Tuple[List[nodes.reference], List[nodes.problematic]]:
diff --git a/x11/kitty/files/patch-docs_conf.rst b/x11/kitty/files/patch-docs_conf.rst
new file mode 100644
index 000000000000..b205a7978b11
--- /dev/null
+++ b/x11/kitty/files/patch-docs_conf.rst
@@ -0,0 +1,18 @@
+--- docs/conf.rst.orig	1979-11-29 23:00:00 UTC
++++ docs/conf.rst
+@@ -1,7 +1,14 @@
+ kitty.conf
+------------------------
++================
+ 
+ .. highlight:: conf
++
++
++.. only:: man
++
++    Overview
++    --------------
++
+ 
+ |kitty| is highly customizable, everything from keyboard shortcuts, to rendering
+ frames-per-second. See below for an overview of all customization possibilities.