To ask him to run the build from a fresh checkout of the documentation next time :)
uhm, it was... I made a fresh checkout before building it. (Last build date is 21 August 2003).
This one, for example, is not up to date : http://www.php.net/manual/fr/index.php
Mehdi
