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 (see section 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.