From f299549dba3e4ae0232e6df5fa74126c9f20b11a Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Wed, 16 Aug 2023 11:27:10 +0530
Subject: [PATCH] Improve sectioning in kitty.conf manpage

See #6553
---
 docs/conf.py  | 2 +-
 docs/conf.rst | 9 ++++++++-
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/docs/conf.py b/docs/conf.py
index 86502b231..a9830d7e8 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -177,7 +177,7 @@ manpages_url = 'https://man7.org/linux/man-pages/man{section}/{page}.{section}.h
 # (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)
 ]
 
 
diff --git a/docs/conf.rst b/docs/conf.rst
index bec4c7e87..35fbebaa2 100644
--- a/docs/conf.rst
+++ b/docs/conf.rst
@@ -1,8 +1,15 @@
 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.