Prof. Abimbola A. Olowofoyeku (The African Chief) wrote:
On 27 Jul 2012 at 0:10, Waldek Hebisch wrote:
[...]
Sorry, I forgot to mention this: git repository is supposed to contain only source files. So machine generated files like content of p/doc/info/ and p/doc/generated/ is omited. Building gpc should fill those directores with content. But for this you need appropriate tools, in particular 'texinfo' package. Look at the output of 'configure' in build log, if configure can not find needed tools it will print a message and skip building documentation.
The problem is that texinfo was there all the time. The gcc configure log reports this:
"configure: WARNING: *** Makeinfo is missing or too old. *** Info documentation will not be built."
Well, I don't know about that, before it is there, and it is the latest version (v4.13).
This is a bug in gcc-3.4.*: it checks for texinfo versions between 4.2 and 4.9 and considers every other version (like 4.13) as too old. Given that gcc-3.4.6 is from March 2006 and texinfo 4.11 (the next version after 4.9) is from September 2007 it was easy to overlook this problem.
I am not sure what is a good fix for this: gcc configure machinery is a mess and if we patch it we will need specific versions of other tools. Probably the easiest workaround (untested) is to create a little script, like:
-------------<cut here>-------------------------- #!/bin/sh
if [ "$1" == "--version" ] ; then echo "makeinfo (GNU texinfo) 4.8" else exec /usr/bin/makeinfo "$@" fi ------------<cut here>---------------------------
and then add 'MAKEINFO=/path/to/the/script' option to make command.