18: How do I print a Texinfo file? NOTE: 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. tex XXX.texinfo 3. texindex XXX.?? The texindex program comes with Emacs as man/texindex.c. 4. tex XXX.texinfo 5. Print the DVI file XXX.dvi in the normal way for printing DVI files at your site. To get more general instructions, retrieve the latest Texinfo package mentioned in question 17.