Add commit ID to build info
| From: | Adiel Cristo via phpdoc | Date: | Fri, 29 Jan 2021 00:25:08 +0000 |
| Subject: | Add commit ID to build info | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969387825@lists.php.net to get a copy of this message | ||
Hi,
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?
Adiel