[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: flex-2.5.10: make flex.dvi failes
|
From: |
W. L. Estes |
|
Subject: |
Re: flex-2.5.10: make flex.dvi failes |
|
Date: |
Wed, 31 Jul 2002 08:26:14 -0400 |
|
User-agent: |
Mutt/1.3.28i |
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.
flex currently does not include a texinfo.tex. Is there any standard
advise on including texinfo.tex? I'm loathed to inflate the archive by
~200k without good reason--but this particular problem could well be
sufficient reason.
--Will
- flex & gcc 3, wwolly, 2002/07/25
- Re: flex & gcc 3, John Millaway, 2002/07/25
- flex-2.5.10: make flex.dvi failes, Bernd Prager, 2002/07/28
- Re: flex-2.5.10: make flex.dvi failes, W. L. Estes, 2002/07/30
- Re: flex-2.5.10: make flex.dvi failes, Bernd Prager, 2002/07/30
- Re: flex-2.5.10: make flex.dvi failes, Akim Demaille, 2002/07/31
- Re: flex-2.5.10: make flex.dvi failes,
W. L. Estes <=
- Re: flex-2.5.10: make flex.dvi failes, Akim Demaille, 2002/07/31
- Re: flex-2.5.10: make flex.dvi failes, W. L. Estes, 2002/07/31
- Re: flex-2.5.10: make flex.dvi failes, W. L. Estes, 2002/07/31