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 `man/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
(Note:Installing Texinfo documentation).
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
(Note:Installing Texinfo documentation).