Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!wuarchive!texbell!attctc!
From: kgallagh@digi.UUCP (Kevin Gallagher)
Newsgroups: comp.emacs
Subject: Re: InfoTex
Message-ID: <283@digi.UUCP>
Date: 13 Dec 89 22:02:02 GMT
Reply-To: kgallagh@digi.UUCP (Kevin Gallagher)
Organization: DSC Communications, Plano Tx.
Lines: 30
ath: digi!kgallagh

>Article 882 of comp.emacs:
>From: jb3o+@ANDREW.CMU.EDU (Jon Allen Boone)
>Subject: InfoTex
>Message-ID: <8ZVIxRK00Uo100e2sK@andrew.cmu.edu>
>Date: 12 Dec 89 19:19:57 GMT

>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?

The Info source for the GNU Emacs manual is the same source file for
the hardcopy version generated by TeX.  It is called "emacs.tex" and
can be found in the "man" directory from the GNU Emacs distribution
tape.  

The file "emacs.tex" is written using the texinfo macros found in the
same "man" directory in the file "texinfo.texinfo".  In order to
generate a hardcopy of the manual, place emacs.tex and texinfo.texinfo
into your default directory.  Then invoke TeX, supplying emacs.tex as
an input file.  This, in turn, will load texinfo.texinfo to pick up
all the texinfo macros.  Once this has completed, run "makeindex", and
then run tex again, to resolve cross references, and you will have a
emacs.dvi file ready for conversion to the format needed by your
printer.

It is a lot less bother and cheaper, in the long run, to send FSF $15
for a bound copy, or $60 for a box of 6 bound copies.