Re: Add commit ID to build info
| From: | Christoph M. Becker | Date: | Mon, 01 Feb 2021 12:17:03 +0000 |
| Subject: | Re: Add commit ID to build info | ||
| References: | 1 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969387826@lists.php.net to get a copy of this message | ||
On 29.01.2021 at 01:25, Adiel Cristo via phpdoc wrote:
> I fixed the pt_br doc build, but for some reason the changes did not
> seem to work (or even to be applied) on the remote server.
>
> I added some changes on the doc/base/configure.php file to get the
> commit ID (patch attached), but I'm not sure if I have permissions to,
> or if I should change this file.
>
> Any thoughts?
I'm not sure about the usefulness of this patch, but maybe consider to
submit that as PR to <https://github.com/php/doc-base>.
Regards,
Christoph