GNU Info

(efaq)Printing a Texinfo file

---

Next: Viewing Info files outside of Emacs Prev: Installing Texinfo documentation Up: Getting help

---

Enter node , (file) or (file)node

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).