(texinfo) Start of Header
Info Catalog
(texinfo) First Line
(texinfo) Header
(texinfo) setfilename
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 ( 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.
Info Catalog
(texinfo) First Line
(texinfo) Header
(texinfo) setfilename
automatically generated byinfo2html