In order to be made into an Info file, a Texinfo file must contain a line that looks like this:
@setfilename command at the beginning of a line and
follow it on the same line by the Info file name. Do not write
anything else on the line; anything on the line after the command is
considered part of the file name, including a comment.
@setfilename line specifies the name of the Info file to be
generated. This name should be different from the name of the Texinfo
file. The convention is to write a name with a `.info' extension,
to produce an Info file name such as `texinfo.info'.
Some operating systems cannot handle long file names. You can run into a problem even when the file name you specify is itself short enough. This occurs because the Info formatters split a long Info file into short indirect subfiles, and name them by appending `-1', `-2', ..., `-10', `-11', and so on, to the original file name. (See section Tag Files and Split Files.) The subfile name `texinfo.info-10', for example, is too long for some systems; so the Info file name for this document is actually `texinfo' rather than `texinfo.info'.
The Info formatting commands ignore everything written before the
@setfilename line, which is why the very first line of
the file (the
\input line) does not need to be commented out.
@setfilename line is ignored when you typeset a printed