Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!tut.cis.ohio-state.edu!ucbvax!ANDREW.CMU.EDU!jb3o+ From: jb3o+@ANDREW.CMU.EDU (Jon Allen Boone) Newsgroups: comp.emacs Subject: InfoTex Message-ID: <8ZVIxRK00Uo100e2sK@andrew.cmu.edu> Date: 12 Dec 89 19:19:57 GMT Sender: daemon@ucbvax.BERKELEY.EDU Lines: 13 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? iain the flippant | You'll PAY To Know What You REALLY Think | jb3o@andrew.cmu.edu(INTERNET) | Your MIND Left Intentionally Blank | R746JB3O@cmccvb(BITNET) | SCIENCE DOES NOT REMOVE THE TERROR OF THE GODS| disclaimer: anything I say may be wrong - I don't represent anyone but me