Re: flex-2.5.10: make flex.dvi failes

[W. L. Estes]

On Tuesday, 30 July 2002,20:10 -0400, Bernd Prager wrote:

> almost:
> ----- snip -----------------
> This is TeX, Version 3.14159 (Web2C 7.3.1)
> (/home/bernd/Test/flex/flex.texi (/usr/share/texmf/tex/texinfo/texinfo.tex
> Loading texinfo [version 1999-09-25.10]: Basics, pdf, fonts, page headings,

You need a more recent copy of texinfo.tex. I suppose that means I
should include one in the flex distribution? You can get one for
yourself at:

ftp://ftp.gnu.org/gnu/texinfo/

The issue with version.texi is that version.texi is an automatically
generated file and I forget which black magic makes it condense from
the ether.

--Will