On ons, 2010-05-26 at 19:55 -0400, 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'
I think both of these issues (certainly the latter) are fixed now. Btw., the code and working space for this job are at ~petere/PGDOC/ on developer.postgresql.org. Anyone with a shell account can peek around there. -- Sent via pgsql-docs mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-docs
