4.2 @bye File Ending

An @bye command terminates Texinfo processing. None of the formatters process anything following @bye; any such text is completely ignored. The @bye command should be on a line by itself.

Thus, if you wish, you may follow the @bye line with arbitrary notes. Also, you may follow the @bye line with a local variables list for Emacs, most typically a ‘compile-command’ (see Using the Local Variables List).