Mail Archives: djgpp/1997/02/20/13:23:40
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 -