A trivial fix.
+++ rltech.texi 2018-11-30 00:13:43.540390800 +0900
@@ -720,7 +720,7 @@
be supplied in a @code{set keymap} inputrc line (@pxref{Readline Init File}).
address@hidden deftypefun
address@hidden void rl_set_keymap (const char *name, Keymap keymap)
address@hidden int rl_set_keymap_name (const char *name, Keymap keymap)
Set the name of @var{keymap}. This name will then be "registered" and
available for use in a @code{set keymap} inputrc directive
address@hidden Init File}).
The following description is not clear for me. Here is my possible change proposal.
Set the name of @var{keymap}. This name will then be "registered" and
available for use in a @code{set keymap} inputrc directive
@pxref{Readline Init File}).
If @var{keymap} is already registered, the name associated with the
given keymap is replaced to @var{name}.
If @var{name} is already registered, the keymap associated with the
given name is replaced to @var{keymap}.
If @var{name} is one of Readline's builtin names or @var{keymap} is
one of Readline's builtin keymaps, it is invalid and just returns -1;
otherwise returns positive value.
Readline will make a copy of @var{name}.