- Your documentation is broken

Your documentation is broken. The build is done on Friday. Please, try to fix it *quickly*. Here is the output of the configure.php script : ============================= configure.php: $Id: configure.php 306519 2010-12-20 20:42:21Z philip $ PHP version: 5.3.2 Checking for source directory... /local/web/sites/edit.php.net/data/phpdoc-all/doc-base/ Checking for output filename... /local/web/sites/edit.php.net/data/phpdoc-all/doc-base/.manual.xml Checking whether to save an invalid .manual.xml... no Checking whether to include CHM... no Checking for PHP executable... /local/php/bin/php Checking for language to build... fi Checking whether the language is supported... yes Checking for partial build... no Checking whether to enable detailed XML error messages... no Checking libxml version... 2.7.5 Generating /local/web/sites/edit.php.net/data/phpdoc-all/doc-base/manual.xml... done Generating /local/web/sites/edit.php.net/data/phpdoc-all/doc-base/entities/version.ent... done Generating /local/web/sites/edit.php.net/data/phpdoc-all/doc-base/scripts/file-entities.php... done Iterating over extension specific version files... OK Saving it... OK Creating file /local/web/sites/edit.php.net/data/phpdoc-all/doc-base/entities/file-entities.ent... done Loading and parsing manual.xml... done. -- This email is send automatically by the Php Docbook Online Editor.