[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)


reply via email to

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