mmm okay. I though you've made a build today (seeing some page last updated on 25 September)
This one, for example, is not up to date :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).
http://www.php.net/manual/fr/index.php
It was on August 21st, when I build it.
sorry for the noise Derick and keep the good work :)
didou
