===> Tue Apr 23 20:07:49 BST 2024 Starting it
===> Tue Apr 23 20:07:49 BST 2024 Configuring it
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-04-23-20-it.xml
Checking whether to include CHM... no
Checking for PHP executable... /usr/bin/php
Checking for language to build... it
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: dacdc954a35383c53e7870f244beb9066e3c0417
?? developer.template.xml
?? fileModHistory.php
fatal: unknown field name: push:track
en:       8cb32bd2c0f0b8a95ebb84b211920fe10d4c2679
fatal: unknown field name: push:track
it:       3422b021d7e3f602bc629f2be178e74c6d4d0d16

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.
PHP Warning:  Undefined variable $history_file in /local/src/phpdoc-git/base/configure.php on line 315
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 1459 XIncludes
Validating manual.xml... done.

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

 (Run `nice php base/configure.php` next time!)
===> Tue Apr 23 20:08:01 BST 2024 Finished configuring
===> Tue Apr 23 20:08:01 BST 2024 Building it
===> Tue Apr 23 20:08:02 BST 2024 Rendering xhtml, bigxhtml, php and tocfeed
[19:08:02 - Indexing              ] Indexing...
[19:08:02 - E_WARNING             ] /local/src/phd/phpdotnet/phd/Format.php:155
	SQLite3::query(): no such table: ids
[19:08:02 - E_WARNING             ] /local/src/phd/phpdotnet/phd/Format.php:156
	SQLite3::query(): no such table: ids
[19:08:02 - E_WARNING             ] /local/src/phd/phpdotnet/phd/Format.php:157
	SQLite3::query(): no such table: ids
[19:08:02 - E_WARNING             ] /local/src/phd/phpdotnet/phd/Format.php:158
	SQLite3::query(): no such table: ids
[19:08:02 - E_WARNING             ] /local/src/phd/phpdotnet/phd/Format.php:159
	SQLite3::query(): no such table: ids
[19:08:02 - E_WARNING             ] /local/src/phd/phpdotnet/phd/Format.php:160
	SQLite3::query(): no such table: ids
[19:08:02 - Rendering Style       ] Running full build
[19:08:16 - Indexing              ] Indexing done
[19:08:16 - Rendering Style       ] Running full build
[19:08:16 - Rendering Format      ] Starting PHP-Chunked-XHTML rendering
[19:08:16 - Rendering Format      ] Starting PHP-BigXHTML rendering
[19:08:16 - Rendering Format      ] Starting PHP-Web rendering
[19:08:16 - Rendering Format      ] Starting PHP-TocFeed rendering
[19:09:08 - Rendering Format      ] Writing search indexes..
[19:09:08 - Rendering Format      ] Index written
[19:09:08 - Rendering Format      ] Writing search indexes..
[19:09:09 - Rendering Format      ] Index written
[19:09:09 - Rendering Format      ] Finished rendering
===> Tue Apr 23 20:09:09 BST 2024 Skipping all other redering formats
===> Tue Apr 23 20:09:09 BST 2024 Finished building
===> Tue Apr 23 20:09:09 BST 2024 Moving phpweb
===> Tue Apr 23 20:09:14 BST 2024 Not moving anything else for it
===> Tue Apr 23 20:09:14 BST 2024 Cleaning /local/src/phpdoc-git//base/2024-04-23-20-it.xml
===> Tue Apr 23 20:09:14 BST 2024 it Finished successfully