# HG changeset patch
# User Karl Berry <karl@gnu.org>
# Date 1097098245 0
# Node ID 9279048e751ae5424ce8e4d6de2ea162ae44cecc
# Parent  d3a3ba2db17f661caa97231abdba35d193b9306a
consistent -- use

diff -r d3a3ba2db17f -r 9279048e751a man/ChangeLog
--- a/man/ChangeLog	Wed Oct 06 15:56:41 2004 +0000
+++ b/man/ChangeLog	Wed Oct 06 21:30:45 2004 +0000
@@ -1,3 +1,8 @@
+2004-10-06  Karl Berry  <karl@gnu.org>
+
+	* info.texi (@kbd{1}--@kbd{9}): no space around --, for
+	consistency with other uses of dashes.
+
 2004-10-06  Nick Roberts  <nickrob@snap.net.nz>
 
 	* building.texi (Starting GUD): Note that multiple debugging
diff -r d3a3ba2db17f -r 9279048e751a man/info.texi
--- a/man/info.texi	Wed Oct 06 15:56:41 2004 +0000
+++ b/man/info.texi	Wed Oct 06 21:30:45 2004 +0000
@@ -971,7 +971,7 @@
 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