Conventionally menus appear at the end of nodes, but the Info format places no restrictions on their location.
<menu> = * Menu: (<menu entry> | <menu comment>)*
The parts of a <menu entry>
are also described in The Parts of a Menu. They have the same syntax as cross-references, with a leading ‘*’
instead of ‘* (N|n)ote’ (see Info Format: Cross-reference). Indices
extend the menu format to specify the destination line; see Info Format: Printindex.
A <menu comment>
is any line not beginning with ‘*’ that
appears either at the beginning of the menu or is separated from a
menu entry by one or more blank lines. These comments are intended to
be displayed as part of the menu, as-is (see Writing a Menu).