[Bug-gnubg] doc needs makeinfo 4

[Sander van Rijnswou]

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