@setfilename

In order to be made into an Info file, a Texinfo file must contain a line that looks like this:

@setfilename info-file-name

Write the @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.

The @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. The @setfilename line is ignored when you typeset a printed manual.