Currently running "info texinfo menu" with the current output from
texinfo.texi does not go to the node you expect ('Menus'), but to the
documentation of the Info format instead ('Info Format Menu').
Likewise, "info texinfo image" goes to 'Info Format Image', not 'Images',
and "info texinfo printindex" goes to 'Info Format Printindex', not
'Printing Indices & Menus'.
The reason is the Top master menu (in texinfo.info-1):
Info Format Specification
* Whole: Info Format Whole Manual. Split vs. nonsplit manuals.
* Preamble: Info Format Preamble.
* Indirect: Info Format Indirect Table.
* Tag table: Info Format Tag Table.
* Local variables: Info Format Local Variables.
* Regular nodes: Info Format Regular Nodes.
* Menu: Info Format Menu.
* Image: Info Format Image.
* Printindex: Info Format Printindex.
* Cross-Reference: Info Format Cross Reference.
'info' follows the menu entry text if it matches exactly, before checking
for an index entry.
Such short labels ("Menu" instead of "Info Format Menu") are fine for the
appendix node 'Info Format Specification'. They are rare but make it easier
to allow people to type in the menu entry they want with the 'm' command.
I can't find where I read it but there was advice somewhere about the
text of menu entries differing near the start to give the user less to
type ("mM<ret>" rather than "mInfo Format M<ret>").
However, these labels aren't as appropriate for the master menu. When
we used to have an explicit @detailmenu block in 'Top', it looked like
this:
Info Format Specification
* Info Format General Layout::
* Info Format Text Constructs::
Info Format General Layout
* Info Format Whole Manual::. Split vs.@: nonsplit manuals.
* Info Format Preamble::
* Info Format Indirect Table::
* Info Format Tag Table::
* Info Format Local Variables::
* Info Format Regular Nodes::
Info Format Text Constructs
* Info Format Menu::
* Info Format Image::
* Info Format Printindex::
* Info Format Cross Reference::
@end detailmenu
@end menu
Does one of the following sound like a good idea?:
* Do not use @menu blocks when generating a detailed menu.
* If reusing a @menu block to generate a detailed menu, then revise it
never to a separate menu entry label.
