Info Catalog efaq: Installing Texinfo documentation efaq: Getting help efaq: Viewing Info files outside of Emacs

efaq: Printing a Texinfo file

 
 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
 (Installing Texinfo documentation).
 

Info Catalog efaq: Installing Texinfo documentation efaq: Getting help efaq: Viewing Info files outside of Emacs