===> Fri May 21 12:05:46 BST 2021 Starting de
===> Fri May 21 12:05:46 BST 2021 Configuring de
configure.php: $Id$
PHP version: 7.3.7

Checking for source directory... /local/src/phpdoc-git/base
Checking for output filename... /local/src/phpdoc-git//base/2021-05-21-12-de.xml
Checking whether to include CHM... no
Checking for PHP executable... /usr/bin/php
Checking for language to build... de
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
Checking whether to optimize out the DTD (performance gain, but segfaults)... no
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/developer.template.xml... done
Generating /local/src/phpdoc-git/base/scripts/file-entities.php... done
Iterating over extension specific version files... OK
Saving it... OK
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.
Validating manual.xml... done.

All good. Saving 2021-05-21-12-de.xml... done.
All you have to do now is run 'phd -d /local/src/phpdoc-git//base/2021-05-21-12-de.xml'
If the script hangs here, you can abort with ^C.
         _ _..._ __
        \)`    (` /
         /      `\
        |  d  b   |
        =\  Y    =/--..-="````"-.
          '.=__.-'               `\
             o/                 /\ \
              |                 | \ \   / )
               \    .--""`\    <   \ '-' /
              //   |      ||    \   '---'
         jgs ((,,_/      ((,,___/

 (Run `nice php configure.php` next time!)
===> Fri May 21 12:06:03 BST 2021 Finished configuring
===> Fri May 21 12:06:03 BST 2021 Building de
===> Fri May 21 12:06:04 BST 2021 Rendering xhtml, bigxhtml, php and tocfeed
[11:06:04 - Rendering Style       ] Running full build
[11:06:04 - Indexing              ] Indexing...
[11:06:17 - Indexing              ] Indexing done
[11:06:18 - Rendering Style       ] Running full build
[11:06:18 - Rendering Format      ] Starting PHP-Chunked-XHTML rendering
[11:06:18 - Rendering Format      ] Starting PHP-BigXHTML rendering
[11:06:18 - Rendering Format      ] Starting PHP-Web rendering
[11:06:18 - Rendering Format      ] Starting PHP-TocFeed rendering
[11:06:18 - E_USER_WARNING        ] /local/src/phd/phpdotnet/phd/Package/Generic/XHTML.php:590
	Impossible to copy the http://www.php.net/styles/theme-base.css file.
[11:06:18 - E_USER_WARNING        ] /local/src/phd/phpdotnet/phd/Package/Generic/XHTML.php:590
	Impossible to copy the http://www.php.net/styles/theme-medium.css file.
[11:06:18 - E_WARNING             ] /local/src/phd/phpdotnet/phd/Package/Generic/XHTML.php:562
	file_get_contents(http://www.php.net/styles/theme-base.css): failed to open stream: HTTP request failed! HTTP/1.1 503 Service Temporarily Unavailable

[11:06:18 - E_USER_WARNING        ] /local/src/phd/phpdotnet/phd/Package/Generic/XHTML.php:565
	Stylesheet http://www.php.net/styles/theme-base.css not fetched.
[11:06:18 - E_WARNING             ] /local/src/phd/phpdotnet/phd/Package/Generic/XHTML.php:562
	file_get_contents(http://www.php.net/styles/theme-medium.css): failed to open stream: HTTP request failed! HTTP/1.1 503 Service Temporarily Unavailable

[11:06:18 - E_USER_WARNING        ] /local/src/phd/phpdotnet/phd/Package/Generic/XHTML.php:565
	Stylesheet http://www.php.net/styles/theme-medium.css not fetched.
[11:06:19 - E_USER_WARNING        ] /local/src/phd/phpdotnet/phd/Package/Generic/XHTML.php:590
	Impossible to copy the http://www.php.net/styles/theme-base.css file.
[11:06:19 - E_USER_WARNING        ] /local/src/phd/phpdotnet/phd/Package/Generic/XHTML.php:590
	Impossible to copy the http://www.php.net/styles/theme-medium.css file.
[11:07:05 - Rendering Format      ] Writing search indexes..
[11:07:05 - Rendering Format      ] Index written
[11:07:05 - Rendering Format      ] Writing search indexes..
[11:07:06 - Rendering Format      ] Index written
[11:07:06 - Rendering Format      ] Finished rendering
===> Fri May 21 12:07:06 BST 2021 Skipping all other redering formats
===> Fri May 21 12:07:06 BST 2021 Finished building
===> Fri May 21 12:07:06 BST 2021 Moving phpweb
===> Fri May 21 12:07:10 BST 2021 Not moving anything else for de
===> Fri May 21 12:07:10 BST 2021 Cleaning /local/src/phpdoc-git//base/2021-05-21-12-de.xml
===> Fri May 21 12:07:10 BST 2021 de Finished successfully