Stefan Kaltenbrunner wrote: > 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...
Peter, I think I can fix the script if you would tell me how to update it. The code is based on a shell script I originally wrote. -- Bruce Momjian <[email protected]> http://momjian.us EnterpriseDB http://enterprisedb.com -- Sent via pgsql-docs mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-docs
