menu
After the contents elements, may appear the menu
element. This element ask explicitly for the correspondent Texinfo
@menu
command. At this level, the menu is inserted
automatically, also without inserting this element. But the
menu
element may be used to define a specific
(manual) menu for texinfo. See the following example:
<menu> * introduction :: Introduction * structure:: General structure for a Sgmltexi source file * how to use:: How to use the front-end * install:: How to install * GFDL:: GNU Free Documentation License * index:: Index </menu>
The menu
may be used also at chapter level and below,
and there can be also empty: in this case, an automatic Texinfo menu
will be inserted.