Date: Tue, 2 Jul 1996 13:12:06 +0200 (IST)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: Peter Johnson <locke AT mcs DOT net>
Cc: djgpp AT delorie DOT com
Subject: Re: GNU TeX Docs
In-Reply-To: <31d8b36e.44239801@news.mcs.net>
Message-Id: <Pine.SUN.3.91.960702130654.19552A-100000@is>
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII


On Tue, 2 Jul 1996, Peter Johnson wrote:

> Where can I get the GNU TeX documentation?  There must have been some
> source for the texinfo documentation and since I much prefer printed
> docs, I need to get the original .TeX files..  Do I have to download
> the *s.zip (source) files to get the TeX docs (huge download) or is
> there one zip i can download that includes JUST the TeX files?

The sources of GNU docs are written in Texinfo, not in TeX.  The Texinfo 
sources can only be found in the *s.zip distributions.  Note that you 
will need to install TeX or its workalike to produce printed docs from 
the Texinfo sources.

There is more about this, including pointers to sites where you can
download PostScript versions of the GNU docs, in the DJGPP FAQ list
(v2/faq200b.zip from the same place you get DJGPP), sections 5.3 and 5.4.