From df3846fbb83eba02de6a0388e911e5615dd825f1 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Fri, 12 Aug 2022 23:33:06 +0530
Subject: [PATCH] Add instructions on how to install the man pages under
 desktop integration

---
 docs/binary.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/binary.rst b/docs/binary.rst
index 79ee0fd20..c7dc5221b 100644
--- a/docs/binary.rst
+++ b/docs/binary.rst
@@ -56,6 +56,10 @@ particular desktop, but it should work for most major desktop environments.
     # Update the paths to the kitty and its icon in the kitty.desktop file(s)
     sed -i "s|Icon=kitty|Icon=/home/$USER/.local/kitty.app/share/icons/hicolor/256x256/apps/kitty.png|g" ~/.local/share/applications/kitty*.desktop
     sed -i "s|Exec=kitty|Exec=/home/$USER/.local/kitty.app/bin/kitty|g" ~/.local/share/applications/kitty*.desktop
+    # Install the man pages
+    mkdir -p ~/.local/share/man/man1 ~/.local/share/man/man5
+    ln -s ~/.local/kitty.app/share/man/man1/kitty.1 ~/.local/share/man/man1
+    ln -s ~/.local/kitty.app/share/man/man5/kitty.conf.5 ~/.local/share/man/man5
 
 .. note::
     In :file:`kitty-open.desktop`, kitty is registered to handle some supported