A menu consists of an @menu command on a line by
itself followed by menu entry lines or menu comment lines
and then by an @end menu command on a line by
itself.
  
A menu looks like this:
     @menu
     Larger Units of Text
     
     * Files::                       All about handling files.
     * Multiples: Buffers.           Multiple buffers; editing
                                      several files at once.
     @end menu
     
  In a menu, every line that begins with an *  is a menu
entry.  (Note the space after the asterisk.)  A line that does not
start with an *  may also appear in a menu.  Such a line is
not a menu entry but is a menu comment line that appears in the Info
file.  In the example above, the line Larger Units of Text is a
menu comment line; the two lines starting with *  are menu
entries.  Space characters in a menu are preserved as-is; this allows
you to format the menu as you wish.