===> Mon Apr 22 20:10:57 BST 2024 Starting pl
===> Mon Apr 22 20:10:57 BST 2024 Configuring pl
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-22-20-pl.xml
Checking whether to include CHM... no
Checking for PHP executable... /usr/bin/php
Checking for language to build... pl
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:       ac83abe55f4da019036de5ec14400d674fa3f9f5
fatal: unknown field name: push:track
pl:       d9d4ebd2735ee96e15bf04b16013078b00d83a14

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... failed.

ERROR (file:////local/src/phpdoc-git/pl/language/context.xml:23:25)
 &language.context.curl;
-------------------------^
 Entity 'language.context.curl' not defined


Previous errors too severe. Stopping here.


Eyh man. No worries. Happ shittens. Try again after fixing the errors above.
=============> Something happenend when snapshotting pl
Failed completely
=============> Please have a look!
=============> Something happenend when snapshotting pl
Failed configuring pl
=============> Please have a look!
===> Mon Apr 22 20:11:06 BST 2024 Cleaning /local/src/phpdoc-git//base/2024-04-22-20-pl.xml