From: "Luis G. Hernandez U." <ghernan AT cariari DOT ucr DOT ac DOT cr>
Message-Id: <199607312336.RAA07926@cariari.ucr.ac.cr>
Subject: Was Re: Printed libc docs
To: djgpp AT delorie DOT com (djgpp users list)
Date: Wed, 31 Jul 1996 17:36:43 -0600 (CST)
In-Reply-To: <Pine.SUN.3.91.960731122304.2704B-100000@is> from "Eli Zaretskii" at Jul 31, 96 12:25:24 pm
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 8bit

  Hi:
      Some time ago (and before and before and before ;-) ) I answered some
  similar questions about TeXing the TeXInfo docs. As before, what you need
  is:

   1) A (n almost pretty good) TeX package installed and runing ok in your
      computer.
   2) the file texinfo.tex (which comes with the TeXInfo orig. dist., i.e.
      texinfo-3.7.tar.gz -- this is the current version, as in prep.ai.mit.
      edu--, note that there is a texinfo.texi in the same dist.. Too, you
      can look at any CTAN --ftp.dante.de is one CTAN--, there's a copy of
      that file, an of the texinfo too), note that a copy of that file comes
      in the v2gnu/txi360b.zip archive.
   3) the texinfo docs that you want to TeX... 

      As an example, take the texinfo.tex which comes in v2gnu/txi360b.zip
      and the files for the cpp docs: v2gnu/gcc272s.zip:gnu/gcc-272/cpp.*.
      Place all in a tmp dir, and then type tex cpp.tex (as with LaTeX docs,
      repeat two more times to let
      TeX place all the cross references as it should be). Ok, now you have
      a 52 pages dvi file, ready to print (less than 5 min in my oldy  i486 
      DX266)... follow the same instrucctions with all the other files that
      you want top print....


      Hope this helps,

                              Luis G. Hernández Ureña
                              Math. School, Univ. of Costa Rica
                              email  newton AT emate DOT efis DOT ucr DOT ac DOT cr
                                   ghernan AT cariari DOT ucr DOT ac DOT cr