Re: bugs installing gmp-4.0 ... texi2dvi

[Nathalie Revol]

> > make gmp.dvi
> > TEXINPUTS=.:$TEXINPUTS \
> > MAKEINFO='/bin/sh /home/nrevol/ARITH/MP/GNUC/gmp-4.0/missing --run makeinfo 
> >  
 -I .' \
> > texi2dvi gmp.texi
> > gmp.texi:35: Unknown command `ifnottex'.
> > gmp.texi:40: Unmatched address@hidden'.
> > ...
> > (gmp.texi (texinfo.tex Loading texinfo [version 2000-11-09.08]: Basics, pdf,
> > fonts, page headings, tables, conditionals, indexing, sectioning, toc,
> > environments, defuns, macros, cross references,
> > ...
>
> What version of texi2dvi is this?  You might need to get texinfo 4.0,
> though I sort of thought the included texinfo.tex had more or less
> everything needed.

Right, it is texinfo 3.9. I will ask my system administrators to
modernize texinfo... as soon as they are available.

Thanks
        Nathalie

---------------------------------------------------------------------------

     Nathalie REVOL
     LIP - Projet INRIA Arenaire           tel : (33) 4-72-72-86-42
     Ecole Normale Superieure de Lyon      Fax : (33) 4-72-72-80-80
     69364 Lyon Cedex 07                   address@hidden
     FRANCE                                http://www.ens-lyon.fr/~nrevol

---------------------------------------------------------------------------