Re: INSTALL and win32/install.txt
| From: | Peter Cowburn | Date: | Mon, 25 Jun 2018 15:28:31 +0000 |
| Subject: | Re: INSTALL and win32/install.txt | ||
| References: | 1 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969386982@lists.php.net to get a copy of this message | ||
Hi Christoph,
Those files used to be very sporadically updated from the manual proper in
years gone by.
Nowadays, this task is not relevant: the win32/install.txt file was
removed, and INSTALL file changed to simply point to the online
documentation, a couple of years ago [1].
Cheers,
Peter
[1]
http://git.php.net/?p=php-src.git;a=commit;h=1e9e7d4dc4949b67908e55ab3f3e44528923c029
On 25 June 2018 at 15:51, Christoph M. Becker <cmbecker69@gmx.de> wrote:
> Hi all!
>
> README.RELEASE_PROCESS states[1]:
>
> | For the first RC, write the doc team (phpdoc@lists.php.net) about
> | updating the INSTALL and win32/install.txt files which are generated
> | from the PHP manual sources.
>
> I've already asked on release-managers@, but apparently nobody there has
> any information on how this is accomplished (and apparently it has been
> overlooked for years). So, is this task still relevant?
>
> [1]
> <£ñ‰
> Ãê wjlÕ¤ž https://github.com/php/php-src/blob/b9f99a3aed07a92deb297655c110d5
> 7ef083bfd4/README.RELEASE_PROCESS#L159-L160>
>
> --
> Christoph M. Becker
>