The end of a Texinfo file should include commands to create indices
(see Printing Indices and Menus), and the @bye
command to mark
the last line to be processed. For example:
@node Index @unnumbered Index @printindex cp @bye
A @bye
command terminates Texinfo processing. It should be on
a line by itself. Anything following @bye
is completely
ignored.