Re: flex-2.5.10: make flex.dvi failes

[Akim Demaille]

>>>>> "W" == W L Estes <address@hidden> writes:

W> On Wednesday, 31 July 2002,11:39 +0200, Akim Demaille wrote:
>> You should update to a more recent texinfo.tex.  Or maybe is it the
>> distro of Flex that ships that guys.  Replace it with
>> ftp://ftp.gnu.org/pub/texinfo/texinfo.tex.

W> flex currently does not include a texinfo.tex. Is there any
W> standard advise on including texinfo.tex? 

Yes, for the very same reason as this bug report :)

W> I'm loathed to inflate the archive by ~200k without good
W> reason--but this particular problem could well be sufficient
W> reason.

We all agree, but that's the required cost for portability: you can't
expect much from the user's environment.