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. 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 are 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...
Stefan -- Sent via pgsql-docs mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-docs
