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
Content-Type: TEXT/PLAIN; charset=US-ASCII


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 ;-).