Peter Eisentraut <peter_e(at)gmx(dot)net> writes:
> Why do we have two doc builds anyway?
Mainly because Bruce is willing to expend the cycles to rebuild his
nearly on-demand. Last I checked, the build on hub is only updated
once or twice a day, so it's not as useful for verifying doc checkins.
regards, tom lane