[ << ] | [ < ] | [ Up ] | [ > ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
3.2.5 End of 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 section Start of Header.
This document was generated on October 2, 2013 using texi2html 5.0.