F.1.2 Info Format: Preamble

The <preamble> is text at the beginning of all output files. It is not intended to be visible by default in an Info viewer, but may be displayed upon user request.

    <preamble> =
<identification>       # "This is FILENAME, produced by ..."
<copying text>         # Expansion of @copying text.
<dir entries>          # Derived from @dircategory and @direntry.

These pieces are:

<identification line>

An arbitrary string beginning the output file, followed by a blank line.

<copying text>

The expansion of a @copying environment, if the manual has one (see @copying: Declare Copying Permissions).

<dir entries>

The result of any @dircategory and @direntry commands present in the manual (see Installing Info Directory Files).