F.2.1 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 described in The Parts of a Menu.

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 section Writing a Menu).

This document was generated on October 2, 2013 using texi2html 5.0.