Re: documentation build log is busted, and has been for awhile

Stefan Kaltenbrunner <stefan@kaltenbrunner.cc> writes:
> On 05/27/2010 01:55 AM, Tom Lane wrote:
>> Is anybody maintaining
>> http://developer.postgresql.org/pgdocs/postgres/buildlog.html
>> ?
>>
>> For some time now, that page has failed to update if the underlying
>> build fails, which makes it approximately completely useless.

> hmm - maybe we should monitor as part of the main monitoring
> infrastructure just like we monitor the snapshot builds...
> However if the docs failed to build for a while I wonder why the
> snapshots are still getting done...

I think the job is running when it's supposed to, it's just failing to
update the output page when it fails.  The page updates PDQ when the
docs build is OK.

            regards, tom lane