This PHP Manual build is broken

--=_652ea1bb.f7KFH1ZFECVgqeW9TGl8hy3Efrd58ZI7Zotd4vtUd8F0AIpY
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

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

--=_652ea1bb.f7KFH1ZFECVgqeW9TGl8hy3Efrd58ZI7Zotd4vtUd8F0AIpY
Content-Type: text/plain;
 charset=us-ascii
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment;
 filename="de.txt"

===> Tue Oct 17 16:01:15 BST 2023 Starting de
===> Tue Oct 17 16:01:15 BST 2023 Configuring de
/local/systems/build-docs-snapshots: line 28: /usr/php81: No such file or directory
=============> Something happenend when snapshotting de
Failed completely
=============> Please have a look!

--=_652ea1bb.f7KFH1ZFECVgqeW9TGl8hy3Efrd58ZI7Zotd4vtUd8F0AIpY--