The doc/info/build_html.sh script was caught running "python" directly instead of using the python command found by the ./configure script. This is easy to fix, though, given that build_html.sh is produced from build_html.sh.in after making autoconf substitutions. All we have to do is replace python by @PYTHON@ I think.
Here's a patch that is so simple it can't possibly (ha HA) be wrong. I'll test it out in Gentoo but it seems to work locally.
Hi Michael. Thanks for the report and the patch, and sorry it never got applied.
But the good news is that the hard-coded
pythonshould not be a problem any longer. In fact, Python is no longer used here at all. So I'm closing this ticket.