diff options
author | Karl Berry <[email protected]> | 2004-10-06 21:30:45 +0000 |
---|---|---|
committer | Karl Berry <[email protected]> | 2004-10-06 21:30:45 +0000 |
commit | 1b3d1d14a097ea57fb1558e4d2ec33a9fc1d9795 (patch) | |
tree | aa275fb2195e27e6fe924fc5368c9f2c02cd5626 /man/info.texi | |
parent | ccd59305b4aedca7ef3daca250408879fa64eabf (diff) |
consistent -- use
Diffstat (limited to 'man/info.texi')
-rw-r--r-- | man/info.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/info.texi b/man/info.texi index 7033eb13e8..014e916508 100644 --- a/man/info.texi +++ b/man/info.texi @@ -971,7 +971,7 @@ the node @samp{Top} in the Info file @file{dir}. Likewise, all of the current file by typing @kbd{g*@key{RET}} or all of any other file with @kbd{g(@var{filename})@key{RET}}. -@subheading @kbd{1} -- @kbd{9} choose a menu subtopic by its number +@subheading @kbd{1}--@kbd{9} choose a menu subtopic by its number @kindex 1 @r{through} 9 @r{(Info mode)} @findex Info-nth-menu-item |