[ << ] | [ < ] | [ Up ] | [ > ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
Follow the header lines with an end-of-header line, which is a Texinfo comment that looks like this:
@c %**end of header
See section Start of Header.
This document was generated on a sunny day using texi2any.