This PHP Manual build is broken

From: Date: Fri, 26 Jul 2024 07:01:28 +0000
Subject: This PHP Manual build is broken
Groups: php.doc.de 
Request: Send a blank email to [email protected] to get a copy of this message
The de 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


===> Fri Jul 26 08:01:18 BST 2024 Starting de ===> Fri Jul 26 08:01:18 BST 2024 Configuring de 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-07-26-08-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 fatal: unknown field name: push:track doc-base: 5fce534e01f31df5ea7fcb066512b4f6842c651a ?? developer.template.xml ?? fileModHistory.php fatal: unknown field name: push:track en: 7db96bd04da66aa35db4941e683b785541e6d11d fatal: unknown field name: push:track de: b9d8c6eff66699dc3c88ba3a1f1aec8495a2ef0f 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... failed. ERROR (file:////local/src/phpdoc-git/de/reference/spl/book.xml:25:23) &reference.spl.setup; -----------------------^ Entity 'reference.spl.setup' 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 de Failed completely =============> Please have a look!

Thread (1 message)

« previous php.doc.de (#6754) next »