The end of a Texinfo file should include commands to create indices and
(perhaps) to generate both the full and summary tables of contents.
Finally, it must include the @bye
command that marks the last
line to be processed.
For example:
@node Index @unnumbered Index @printindex cp @shortcontents @contents @bye