Contents | < Browse | Browse >
`@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.
Tag 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.