Re: Doc build on hub.org

> Is the daily build of the documentation disabled again?

No. Everything works... But the User's Guide build has been broken since
June 20 due to unresolved tags. I'll look at it soon; not sure why it
wasn't obvious in the docbuild.log I receive at home.

> Also, http://www.postgresql.org/devel-corner/docbuild.log seems to point to a
> black hole.

It does seem to be a black hole, but it does exist! Not sure why the
http server has trouble seeing it.

                      - Thomas