Next: , Previous: , Up: Writing a Texinfo File   [Contents][Index]


2.3 What a Texinfo File Must Have

By convention, the name of a Texinfo file ends with one of the extensions .texinfo, .texi, .txi, or .tex.2

In order to be made into a printed manual and other output formats, a Texinfo file must begin with lines like this:

\input texinfo
@settitle name-of-manual

The contents of the file follow this beginning, and then you must end the Texinfo source with a line like this:

@bye

Here’s an explanation:

Furthermore, you will usually provide a Texinfo file with a title page, indices, and the like, all of which are explained in this manual. But the minimum, which can be useful for short documents, is just the two lines at the beginning and the one line at the end.


Footnotes

(2)

The longer extensions are preferred, since they describe more clearly to a human reader the nature of the file. The shorter extensions are for operating systems that cannot handle long file names.


Next: , Previous: , Up: Writing a Texinfo File   [Contents][Index]