[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:22:41 -0400 |
User-agent: |
Mutt/1.3.28i |
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
- 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, 2002/07/31
- 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 <=