4.9.3 Menu Location

There may be at most one menu in a node. A menu is conventionally located at the end of a node, without any regular text or additional commands between the @end menu and the beginning of the next node.

This convention is useful, since a reader who uses the menu could easily miss any such text. Also, any such post-menu text will be considered part of the menu in Info output (which has no marker for the end of a menu). Thus, a line beginning with ‘* ’ will likely be incorrectly handled.

It’s usually best if a node with a menu does not contain much text. If you find yourself with a lot of text before a menu, we generally recommend moving all but a couple of paragraphs into a new subnode. Otherwise, it is easy for readers to miss the menu.