Ending a Texinfo File
*********************
The end of a Texinfo file should include commands to create indices
and (usually) to generate detailed and summary tables of contents. And
it must include the `@bye' command that marks the last line processed
by TeX.
For example:
@node Concept Index, , Variables Index, Top
@c node-name, next, previous, up
@unnumbered Concept Index
@printindex cp
@contents
@bye