Re: Add commit ID to build info

On Mon, Feb 1, 2021 at 12:17 PM Christoph M. Becker <[email protected]>
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é