[ << ] [ < ] [ 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 a sunny day using texi2html.