Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!mstar!mstar.morningstar.com!bob From: bob@MorningStar.Com (Bob Sutterfield) Newsgroups: comp.emacs Subject: Re: InfoTex Message-ID: Date: 13 Dec 89 19:43:19 GMT References: <8ZVIxRK00Uo100e2sK@andrew.cmu.edu> Sender: news@MorningStar.COM (USENET Administrator) Reply-To: bob@MorningStar.Com (Bob Sutterfield) Organization: Morning Star Technologies Lines: 19 In-reply-to: jb3o+@ANDREW.CMU.EDU's message of 12 Dec 89 19:19:57 GMT In article <8ZVIxRK00Uo100e2sK@andrew.cmu.edu> jb3o+@ANDREW.CMU.EDU (Jon Allen Boone) writes: i was attempting to print out the gnu manual from the infotex sources, but aparently i missed something in the attempt. I performed the three shell commands that were supposed to convert the documents, but they didn't work because TeX was looking for .tex files. How do i convert the infotex files into tex sources so that i can print out the manuals? You mean texinfo, right? In your GNU Emacs distribution there's a directory called man/ that contains, among other things, emacs.tex and texinfo.tex. The first line in emacs.tex is \input texinfo @c -*-texinfo-*- which loads all the TeX macros from texinfo.tex so that TeX will know how to format your Emacs manual. You should be able to simply say "tex emacs" and have it drop a dvi file in your lap. You'll have to make texindex and re-TeX emacs.tex before you have a dvi file ready to translate into something for your printer, but this will get you through steps 1 and 3.