On Fri, Aug 17, 2001 at 12:27:47PM -0700, Micah Cowan wrote:
> Probably your distro has texinfo.tex installed, but not the original
> .texi|.tex|.texinfo|.txi files. If you want 'em, D/L the bison/flex
> source, and just find them.*
Or download them from http://www.gnu.org/manual/flex and /manual/bison.
>
> *However, this won't be necessary. I went through the process to make
> sure my information was accurate, so I can just send you the
> .texinfo, .ps, .pdf, and/or .html files. Just email me with which
> ones you want.
Just checked out the pdf version - if you compile with pdftex (and do
it three times, to make sure the references work), you get a very
nifty .pdf file with hypertext links and bookmarks.
Micah
