bug-gmp
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: bugs installing gmp-4.0 ... texi2dvi


From: Kevin Ryde
Subject: Re: bugs installing gmp-4.0 ... texi2dvi
Date: 12 Dec 2001 06:11:42 +1000
User-agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.5

Nathalie Revol <address@hidden> writes:
> 
> BTW: when I type "make gmp.dvi" to learn how to report bugs ;-)

(That's in gmp.info too of course :).

> I also get a lot of messages, cf. the attached file "dvi-error".
> 
> Errors with gmp.dvi:
> 
> 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,
> ...

Hmm.  Seems to have hit the right texinfo.tex, don't know why it
didn't work.

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.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]