This PHP Manual build is broken
| Newsgroups | gmane.comp.php.documentation.general |
|---|---|
| Message-ID | <5fba8efb.n9+2RWkKuzczeQbb%[email protected]> |
The en build of the PHP Manual is broken, so it does not validate or build. Please fix it! ;) Attached is the full log Love, The docs.php.net server
en.txt
(application/octet-stream, 2.9 KB)
===> Sun Nov 22 16:07:55 GMT 2020 Starting en ===> Sun Nov 22 16:07:55 GMT 2020 Configuring en Could not open input file: doc/configure.php =============> Something happenend when snapshotting en Failed completely =============> Please have a look! =============> Something happenend when snapshotting en Failed configuring en =============> Please have a look! ===> Sun Nov 22 16:07:55 GMT 2020 Cleaning /local/src/phpdoc-git//base/2020-11-22-16-en.xml ===> Sun Nov 22 16:07:55 GMT 2020 Building en ===> Sun Nov 22 16:07:55 GMT 2020 Rendering xhtml, bigxhtml, php and tocfeed [01;33m[16:07:55 - E_USER_ERROR ][m /local/src/phd/phpdotnet/phd/Options/Handler.php:128 '/local/src/phpdoc-git//base/2020-11-22-16-en.xml' is not a readable docbook file =============> Something happenend when snapshotting en Failed completely =============> Please have a look! =============> Something happenend when snapshotting en Failed building en =============> Please have a look! ===> Sun Nov 22 16:07:55 GMT 2020 Cleaning /local/src/phpdoc-git//base/2020-11-22-16-en.xml ===> Sun Nov 22 16:07:55 GMT 2020 Moving phpweb ===> Sun Nov 22 16:07:55 GMT 2020 Moving SQLite download file ===> Sun Nov 22 16:07:55 GMT 2020 Moving epub ===> Sun Nov 22 16:07:55 GMT 2020 Generating JSON IDE format download.. [01;31m[16:07:55 - E_WARNING ][m /local/src/phd/phpdotnet/phd/Package/IDE/API.php:73 file(/local/building/en/ide-funclist.txt): failed to open stream: No such file or directory [01;31m[16:07:55 - E_WARNING ][m /local/systems/gen-ide-json.php:43 Invalid argument supplied for foreach() =============> Something happenend when snapshotting en Failed moving en =============> Please have a look! ===> Sun Nov 22 16:07:55 GMT 2020 Cleaning /local/src/phpdoc-git//base/2020-11-22-16-en.xml ===> Sun Nov 22 16:07:55 GMT 2020 Cleaning /local/src/phpdoc-git//base/2020-11-22-16-en.xml ===> Sun Nov 22 16:07:55 GMT 2020 en Finished successfully ===> Sun Nov 22 16:16:59 GMT 2020 Starting en ===> Sun Nov 22 16:16:59 GMT 2020 Configuring en configure.php: $Id$ PHP version: 7.3.7 Checking for source directory... error: Source directory doesn't exist or can't be written to. =============> Something happenend when snapshotting en Failed completely =============> Please have a look! =============> Something happenend when snapshotting en Failed configuring en =============> Please have a look! ===> Sun Nov 22 16:16:59 GMT 2020 Cleaning /local/src/phpdoc-git//base/2020-11-22-16-en.xml ===> Sun Nov 22 16:16:59 GMT 2020 Building en ===> Sun Nov 22 16:16:59 GMT 2020 Rendering xhtml, bigxhtml, php and tocfeed [01;33m[16:16:59 - E_USER_ERROR ][m /local/src/phd/phpdotnet/phd/Options/Handler.php:128 '/local/src/phpdoc-git//base/2020-11-22-16-en.xml' is not a readable docbook file =============> Something happenend when snapshotting en Failed completely =============> Please have a look!