===> Thu May 16 00:14:12 BST 2024 Starting zh ===> Thu May 16 00:14:12 BST 2024 Configuring zh configure.php: $Id$ PHP version: 8.1.24 WARNING: Unknown option 'segfault-speed'! Checking for source directory... /local/src/phpdoc-git/base Checking for output filename... /local/src/phpdoc-git//base/2024-05-16-00-zh.xml Checking whether to include CHM... no Checking for PHP executable... /usr/bin/php Checking for language to build... zh 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.9.1 Checking whether to enable detailed error reporting (may segfault)... yes fatal: unknown field name: push:track doc-base: bfa76b3e090eb3a5641d8aac4c81f01370605b33 ?? developer.template.xml ?? fileModHistory.php fatal: unknown field name: push:track en: 310963ad9ab1c2ca315361ff94314a21fa65f8b8 fatal: unknown field name: push:track zh: 0beb577c4b290057b5223c736664d8fc28f40e00 Generating /local/src/phpdoc-git/base/manual.xml... done Generating /local/src/phpdoc-git/base/install-unix.xml... done Generating /local/src/phpdoc-git/base/install-win.xml... done Generating /local/src/phpdoc-git/base/scripts/file-entities.php... done Iterating over extension specific version files... OK Saving it... OK Iterating over files for sources info... OK Generating sources XML... OK Saving sources.xml file... OK Modification history file /local/src/phpdoc-git/en/fileModHistory.php not found. Creating empty modification history file...done. Creating file /local/src/phpdoc-git/base/entities/file-entities.ent... done Checking for if we should generate a simplified file... no Checking whether to save an invalid .manual.xml... no Loading and parsing manual.xml... done. Running XInclude/XPointer... done. Performed 1471 XIncludes Validating manual.xml... done. All good. Saving 2024-05-16-00-zh.xml... done. All you have to do now is run 'phd -d /local/src/phpdoc-git//base/2024-05-16-00-zh.xml' If the script hangs here, you can abort with ^C. _ _..._ __ \)` (` / / `\ | d b | =\ Y =/--..-="````"-. '.=__.-' `\ o/ /\ \ | | \ \ / ) \ .--""`\ < \ '-' / // | || \ '---' jgs ((,,_/ ((,,___/ (Run `nice php base/configure.php` next time!) ===> Thu May 16 00:14:23 BST 2024 Finished configuring ===> Thu May 16 00:14:23 BST 2024 Building zh ===> Thu May 16 00:14:24 BST 2024 Rendering xhtml, bigxhtml, php and tocfeed [23:14:24 - Heads up ] Creating output directory.. [23:14:24 - Heads up ] Output directory created [23:14:24 - Indexing ] Indexing... [23:14:24 - E_WARNING ] /local/src/phd/phpdotnet/phd/Format.php:155 SQLite3::query(): no such table: ids [23:14:24 - E_WARNING ] /local/src/phd/phpdotnet/phd/Format.php:156 SQLite3::query(): no such table: ids [23:14:24 - E_WARNING ] /local/src/phd/phpdotnet/phd/Format.php:157 SQLite3::query(): no such table: ids [23:14:24 - E_WARNING ] /local/src/phd/phpdotnet/phd/Format.php:158 SQLite3::query(): no such table: ids [23:14:24 - E_WARNING ] /local/src/phd/phpdotnet/phd/Format.php:159 SQLite3::query(): no such table: ids [23:14:24 - E_WARNING ] /local/src/phd/phpdotnet/phd/Format.php:160 SQLite3::query(): no such table: ids [23:14:24 - Rendering Style ] Running full build [23:14:35 - Indexing ] Indexing done [23:14:36 - Rendering Style ] Running full build [23:14:36 - Rendering Format ] Starting PHP-Chunked-XHTML rendering [23:14:36 - Rendering Format ] Starting PHP-BigXHTML rendering [23:14:36 - Rendering Format ] Starting PHP-Web rendering [23:14:36 - Rendering Format ] Starting PHP-TocFeed rendering [23:15:11 - E_USER_WARNING ] /local/src/phd/phpdotnet/phd/Package/Generic/XHTML.php:652 Impossible to copy the http://www.php.net/styles/theme-base.css file. [23:15:41 - E_USER_WARNING ] /local/src/phd/phpdotnet/phd/Package/Generic/XHTML.php:652 Impossible to copy the http://www.php.net/styles/theme-medium.css file. [23:16:31 - E_WARNING ] /local/src/phd/phpdotnet/phd/Package/Generic/XHTML.php:624 file_get_contents(): php_network_getaddresses: getaddrinfo for www.php.net failed: Name or service not known [23:16:31 - E_WARNING ] /local/src/phd/phpdotnet/phd/Package/Generic/XHTML.php:624 file_get_contents(http://www.php.net/styles/theme-base.css): Failed to open stream: php_network_getaddresses: getaddrinfo for www.php.net failed: Name or service not known [23:16:31 - E_USER_WARNING ] /local/src/phd/phpdotnet/phd/Package/Generic/XHTML.php:627 Stylesheet http://www.php.net/styles/theme-base.css not fetched. [23:17:22 - E_USER_WARNING ] /local/src/phd/phpdotnet/phd/Package/Generic/XHTML.php:652 Impossible to copy the http://www.php.net/styles/theme-base.css file. [23:18:02 - E_USER_WARNING ] /local/src/phd/phpdotnet/phd/Package/Generic/XHTML.php:652 Impossible to copy the http://www.php.net/styles/theme-medium.css file. [23:18:38 - Rendering Format ] Writing search indexes.. [23:18:38 - Rendering Format ] Index written [23:18:38 - Rendering Format ] Writing search indexes.. [23:18:38 - Rendering Format ] Index written [23:18:38 - Rendering Format ] Finished rendering ===> Thu May 16 00:18:38 BST 2024 Skipping all other redering formats ===> Thu May 16 00:18:38 BST 2024 Finished building ===> Thu May 16 00:18:38 BST 2024 Moving phpweb ===> Thu May 16 00:18:42 BST 2024 Not moving anything else for zh ===> Thu May 16 00:18:42 BST 2024 Cleaning /local/src/phpdoc-git//base/2024-05-16-00-zh.xml ===> Thu May 16 00:18:42 BST 2024 zh Finished successfully