Node: End of Header, Previous: settitle, Up: Texinfo File Header
Follow the header lines with an end-of-header line, which is a Texinfo comment that looks like this:
@c %**end of header
See Start of Header.