Next: Viewing Info files outside of Emacs, Previous: Installing Texinfo documentation, Up: Getting help [Contents][Index]

### 3.6 How do I print a Texinfo file?

You can’t get nicely printed output from Info files; you must still have the original Texinfo source file for the manual you want to print.

Assuming you have TeX installed on your system, follow these steps:

1. Make sure the first line of the Texinfo file looks like this:

       \input texinfo

   You may need to change ‘`texinfo`’ to the full pathname of the `texinfo.tex` file, which comes with Emacs as `doc/misc/texinfo.tex` (or copy or link it into the current directory).

2. Type `texi2dvi texinfo-source`, where texinfo-source is the name of the Texinfo source file for which you want to produce a printed copy. The ‘`texi2dvi`’ script is part of the GNU Texinfo distribution.

   Alternatively, ‘`texi2pdf`’ produces PDF files.

3. Print the DVI file `texinfo-source.dvi` in the normal way for printing DVI files at your site. For example, if you have a PostScript printer, run the `dvips` program to print the DVI file on that printer.

To get more general instructions, retrieve the latest Texinfo package (see Installing Texinfo documentation).