Re: flex-2.5.10: make flex.dvi failes

[Bernd Prager]

----- Original Message -----
From: "W. L. Estes" <address@hidden>
...

> On Sunday, 28 July 2002,23:30 -0400, Bernd Prager wrote:
>
> > I want to get a hardcopy of the current documentation (flex-2.5.10)
> > and invoked 'make flex.dvi'. Unfortunately it failes with:
...

> Yes. texi2dvi is choking on several things in the faq.texi part of the
> manual. I'll commit the changes and put out a new cvs snapshot later
> today.

Will,
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,
tables, conditionals, indexing, sectioning, toc, environments, defuns,
macros,
cross references, (/usr/share/texmf/tex/plain/dvips/epsf.tex) localization,
and turning on texinfo input format.)
! I can't find file `version.texi'.
<to be read again>
                   @endgroup
l.6 @include version.texi

Please type another input file name:
----- snip -----------------
After copying the old 'version.texi' it stops with:
----- snip -----------------
  texi2dvi4a2ps flex.texi
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,
tables, conditionals, indexing, sectioning, toc, environments, defuns,
macros,
cross references, (/usr/share/texmf/tex/plain/dvips/epsf.tex) localization,
and turning on texinfo input format.) (version.texi) (flex) Chapter 1 [1]
Chapter 2 [2]
! Undefined control sequence.
l.125 @verbatim

?
----- snip -----------------

Am I doing something wrong?
-- Bernd