documentation build log is busted, and has been for awhile

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