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.
regards, tom lane
--
Sent via pgsql-docs mailing list (pgsql-docs@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-docs
