On Mon, 4 Nov 2002, Tom Lane wrote:
> 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.
'k, is there a reason why it can't be run more often? What command on hub
has to be run?