> Is the daily build of the documentation disabled again?
No. Everything works... But the User's Guide build has been broken sinceJune 20 due to unresolved tags. I'll look at it soon; not sure why itwasn'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 thehttp server has trouble seeing it.