[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Bug-gnubg] doc needs makeinfo 4
From: |
Sander van Rijnswou |
Subject: |
[Bug-gnubg] doc needs makeinfo 4 |
Date: |
Mon, 12 Aug 2002 11:17:43 +0200 |
Hi Everybody,
On my maching, compiling a CVS copy of gnubg, fails when make reaches
the doc directory. I tracked this down to "makeinfo gnubg.texi" failing.
The first few errors are:
address@hidden:~/project/gnubg-cvs2/gnubg/doc > makeinfo gnubg.texi
Making info file `gnubg.info' from `gnubg.texi'.
gnubg.texi:49: No matching address@hidden ifnottex'.
gnubg.texi:76: Unmatched address@hidden'.
gnubg.texi:116: Unknown command `env'.
gnubg.texi:116: Misplaced {.
Apparently the version of makeinfo is too old and does not recognize the
@env command. The version is "makeinfo (GNU texinfo 3.12) 1.68".
Updating to version "makeinfo (GNU texinfo) 4.2" solves the problem.
Maybe a symbol can be added to configure.in to check wheter the version
of makeinfo is high enough? (Or port the info files to makeinfo 3)
Sander