Docs Downloads Page has no downloads available

[AllenJB]

Affected Page URL

https://www.php.net/download-docs.php

Describe the bug

The page is currently giving the message: This site has no documentation files for download.

Steps to reproduce

Go to page. Find no downloads available.

Expected behavior

Downloads available.

Screenshots

No response

Additional context

I did some brief investigation. The /distributions/manual path (or any files the download-docs.php script expects to exist) don't appear to exist, either on the web or in the web-php-distributions repo.

I'm guessing some process should be periodically building and uploading / committing the manual here.

I checked archive.org and it appears to show the download list went missing between Sept 1st and 14th

Related: #1219

[cmb69]

I guess that this repo isn't quite the right place to handle this issue. Perhaps we need to talk to systems AT php?