On 05/27/2010 01:55 AM, Tom Lane wrote:
> Is anybody maintaining
> For some time now, that page has failed to update if the underlying
> build fails, which makes it approximately completely useless. A more
> cosmetic but still annoying problem is that the build completion time
> isn't shown correctly. For example, the current contents of the page
> PostgreSQL Documentation Build Log
> Build started: 2010-05-26 22:39 UTC
> Build finished: + echo -n '' + date -u '+%Y-%m-%d %H:%M %Z'
> No changes in this build
> Build completed successfully.
> View or download the documentation.
> even though somebody committed broken markup half an hour ago.
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...
In response to
pgsql-docs by date
|Next:||From: Stefan Kaltenbrunner||Date: 2010-05-27 21:07:53|
|Subject: Re: Londiste|
|Previous:||From: Dave Page||Date: 2010-05-27 07:56:57|
|Subject: Re: documentation build log is busted, and has been for awhile|