This PHP Manual build is broken
| From: | noreply@php.net | Date: | Sun, 22 Nov 2020 16:18:58 +0000 |
| Subject: | This PHP Manual build is broken | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969387645@lists.php.net to get a copy of this message | ||
The en 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
===> Sun Nov 22 16:18:58 GMT 2020 Starting en ===> Sun Nov 22 16:18:58 GMT 2020 Configuring en configure.php: $Id$ PHP version: 7.3.7 Checking for source directory... error: Source directory doesn't exist or can't be written to. =============> Something happenend when snapshotting en Failed completely =============> Please have a look!
===> Sun Nov 22 16:18:58 GMT 2020 Starting en ===> Sun Nov 22 16:18:58 GMT 2020 Configuring en configure.php: $Id$ PHP version: 7.3.7 Checking for source directory... error: Source directory doesn't exist or can't be written to. =============> Something happenend when snapshotting en Failed completely =============> Please have a look!