From 28559bc1e7d4947cd1f554b462c2b810ac2f147a Mon Sep 17 00:00:00 2001
From: Frank LENORMAND <lenormf@gmail.com>
Date: Thu, 4 Nov 2021 07:15:43 +0300
Subject: [PATCH] rc man: Rename mode to `man`

The suffix seems redundant when entering the mode with the
`enter-user-mode` command.

Closes #3970
---
 rc/tools/man.kak | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/rc/tools/man.kak b/rc/tools/man.kak
index 5e57dc06..7f69eb34 100644
--- a/rc/tools/man.kak
+++ b/rc/tools/man.kak
@@ -135,10 +135,10 @@ man-jump %{
 }
 
 # Suggested keymaps for a user mode
-declare-user-mode man-mode
+declare-user-mode man
 
 define-command man-mode-map -params 3 %{
-  map global man-mode %arg[1] %arg[2] -docstring %arg[3]
+  map global man %arg[1] %arg[2] -docstring %arg[3]
 } -hidden
 
 man-mode-map 'g' ': man-jump<ret>' 'Jump to a man page using selected man page link'