Re: Add commit ID to build info

On Mon, Feb 1, 2021 at 12:17 PM Christoph M. Becker <cmbecker69@gmx.de> wrote: > 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>. > It's about trying to find why pt_BR is not building, or at least why it's giving an error that does not occur in a local build. I may suggest another, more general approach. To make the VCS output to be added in logs of http://doc.php.net/logs/ . Or at least to add the output of git status and git log -1 when an error occurs (or even better, to add these lines before doc-base/configure). I really think all three above would be a very comprehensive solution for debugging building problems. André