master 41c4f33: * doc/lispref/commands.texi (Key Sequence Input): Fix indexing.

[Eli Zaretskii]

branch: master
commit 41c4f337c8f798d4700dcd13b73ad4ccdb3257eb
Author: Eli Zaretskii <eliz@gnu.org>
Commit: Eli Zaretskii <eliz@gnu.org>

    * doc/lispref/commands.texi (Key Sequence Input): Fix indexing.
---
 doc/lispref/commands.texi | 28 ++++++++++++++--------------
 1 file changed, 14 insertions(+), 14 deletions(-)

diff --git a/doc/lispref/commands.texi b/doc/lispref/commands.texi
index 85bd2c1..ebfda01 100644
--- a/doc/lispref/commands.texi
+++ b/doc/lispref/commands.texi
@@ -2508,20 +2508,20 @@ button-down events entirely.  It also reshuffles focus 
events and
 miscellaneous window events so that they never appear in a key sequence
 with any other events.
 
-@cindex @code{tab-line} prefix key
-@cindex @code{header-line} prefix key
-@cindex @code{mode-line} prefix key
-@cindex @code{vertical-line} prefix key
-@cindex @code{horizontal-scroll-bar} prefix key
-@cindex @code{vertical-scroll-bar} prefix key
-@cindex @code{menu-bar} prefix key
-@cindex @code{tab-bar} prefix key
-@cindex @code{left-margin} prefix key
-@cindex @code{right-margin} prefix key
-@cindex @code{left-fringe} prefix key
-@cindex @code{right-fringe} prefix key
-@cindex @code{right-divider} prefix key
-@cindex @code{bottom-divider} prefix key
+@cindex @code{tab-line}, prefix key
+@cindex @code{header-line}, prefix key
+@cindex @code{mode-line}, prefix key
+@cindex @code{vertical-line}, prefix key
+@cindex @code{horizontal-scroll-bar}, prefix key
+@cindex @code{vertical-scroll-bar}, prefix key
+@cindex @code{menu-bar}, prefix key
+@cindex @code{tab-bar}, prefix key
+@cindex @code{left-margin}, prefix key
+@cindex @code{right-margin}, prefix key
+@cindex @code{left-fringe}, prefix key
+@cindex @code{right-fringe}, prefix key
+@cindex @code{right-divider}, prefix key
+@cindex @code{bottom-divider}, prefix key
 @cindex mouse events, in special parts of window or frame
 When mouse events occur in special parts of a window or frame, such as a mode
 line or a scroll bar, the event type shows nothing special---it is the