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.