Start of Header
---------------
Write a start-of-header line on the second line of a Texinfo file.
Follow the start-of-header line with `@setfilename' and `@settitle'
lines and, optionally, with other command lines, such as `@smallbook'
or `@footnotestyle'; and then by an end-of-header line (Note:End of
Header).
With these lines, you can format part of a Texinfo file for Info or
typeset part for printing.
A start-of-header line looks like this:
@c %**start of header
The odd string of characters, `%**', is to ensure that no other
comment is accidentally taken for a start-of-header line.
automatically generated byinfo2wwwversion 1.2.2.9