[5869] node names in menus cannot have extra spacing

[karl]

Revision: 5869
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=5869
Author:   karl
Date:     2014-10-09 18:01:38 +0000 (Thu, 09 Oct 2014)
Log Message:
-----------
node names in menus cannot have extra spacing

Modified Paths:
--------------
    trunk/ChangeLog
    trunk/doc/texinfo.texi

Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog     2014-10-09 15:07:50 UTC (rev 5868)
+++ trunk/ChangeLog     2014-10-09 18:01:38 UTC (rev 5869)
@@ -1,3 +1,8 @@
+2014-10-09  Karl Berry  <address@hidden>
+
+       * doc/texinfo.texi (Node Line Requirements, Writing a Menu):
+       menu entries need exact spacing for the sake of Emacs Info.
+
 2014-10-09  Gavin Smith  <address@hidden>
 
        * info/indices.c (info_index_search): Call 

Modified: trunk/doc/texinfo.texi
===================================================================
--- trunk/doc/texinfo.texi      2014-10-09 15:07:50 UTC (rev 5868)
+++ trunk/doc/texinfo.texi      2014-10-09 18:01:38 UTC (rev 5869)
@@ -5233,16 +5233,18 @@
 single space.  For example:
 
 @example
+@@node foo bar
 @@node  foo bar,
 @@node foo bar ,
 @@node foo  bar,
 @@node  foo  bar ,
 @end example
 
address@hidden all define the same node, namely @samp{foo bar}.  In contexts
-where the exact node name is required (for example, in a menu entry),
-this is the name that that should be used, i.e.@: with no leading or
-trailing spaces, and a single internal space.
address@hidden all define the same node, namely @samp{foo bar}. 
+In menu entries, this is the name that should be used: no leading or
+trailing spaces, and a single internal space.  (For cross-references,
+the node name used in the Texinfo sources is automatically normalized
+in this way.)
 @end itemize
 
 
@@ -5660,7 +5662,9 @@
 Text} is such a menu comment line; the two lines starting with
 @address@hidden }} are menu entries.  Space characters in a menu are
 preserved as-is in the Info output; this allows you to format the menu
-as you wish.
+as you wish.  Unfortunately you must type node names without any extra
+spaces or some versions of some Info readers will not find the
+node (@pxref{Node Line Requirements}).
 
 @opindex address@hidden, in HTML output of menus}
 In the HTML output from @command{makeinfo}, the @code{accesskey}