F.7 Info Format: Menu

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).