Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!ut-emx!ibmchs!auschs!reed!d75!awdprime!woan.austin.ibm.com!ron
From: ron@woan.austin.ibm.com (Ronald S. Woan)
Newsgroups: comp.emacs
Subject: Re: InfoTex
Keywords: TeXinfo, not InfoTex
Message-ID: <1145@awdprime.UUCP>
Date: 13 Dec 89 17:08:55 GMT
References: <8ZVIxRK00Uo100e2sK@andrew.cmu.edu>
Sender: news@awdprime.UUCP
Reply-To: @cs.utexas.edu:ibmchs!auschs!woan.austin.ibm.com!ron
Followup-To: comp.emacs
Organization: IBM-Austin, AWD
Lines: 21

In article <8ZVIxRK00Uo100e2sK@andrew.cmu.edu>, jb3o+@ANDREW.CMU.EDU (J
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 don't use the "infotex" files. You have to use the original
texinfo files. They should TeX just fine if you have the
texindex(index sorter) and texinfo.tex files. TeX doesn't care about
the extensions, just specify the full filename when invoking TeX.

						Ron

+-----All Views Expressed Are My Own And Are Not Necessarily Shared By------+
+------------------------------My Employer----------------------------------+
+ Ronald S. Woan  (IBM VNET)WOAN AT AUSTIN, (AUSTIN)ron@woan.austin.ibm.com +
+ outside of IBM       @cs.utexas.edu:ibmchs!auschs!woan.austin.ibm.com!ron +
+ last resort                                        woan@peyote.cactus.org +