[Top][All Lists]
[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.