Is the daily build of the documentation disabled again? Also,
http://www.postgresql.org/devel-corner/docbuild.log seems to point to a
black hole.
--
Peter Eisentraut Sernanders vaeg 10:115
peter_e(at)gmx(dot)net 75262 Uppsala
http://yi.org/peter-e/ Sweden