2.12 Ending a Texinfo File

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.