documentation build log is busted, and has been for awhile - Mailing list pgsql-docs

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