Date:	Thu, 20 Feb 1997 20:07:52 +0200 (IST)
From:	Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To:	"Colin W. Glenn" <cwg01 AT gnofn DOT org>
cc:	djgpp AT delorie DOT com, zager AT post DOT comstar DOT ru
Subject:	Re: GCC documentation
In-Reply-To:	<Pine.GSO.3.95.970219223738.11277D-100000@sparkie.gnofn.org>
Message-ID:	<Pine.SUN.3.91.970220200628.27109I-100000@is>
MIME-Version:	1.0

On Wed, 19 Feb 1997, Colin W. Glenn wrote:

> > decision by the GNU programmers.  In order to read the docs, you'll need
> > this requires that you have the TexInfo sources from the source
> 
> Wish I knew this, I wrote a quick and dirty program which took the Info
> files and stripped out the format codes to produce, well, an indexed text
> file with page numbering. =) 

That's why it is in the FAQ: so people who read it could be amply rewarded 
by telling them how to do things easily ;-).

- Raw text -