Bruce Momjian <bruce@momjian.us> writes:
> The docs finally built 90 minutes after my commit, and the URL above is
> now working. (Does it always take this long to update?)
I believe the new implementation of that stuff is that the devel docs
are built whenever the buildfarm member guaibasaurus runs for HEAD,
which it seems to do on an hourly schedule. This is definitely not as
fast-responding as Peter's former custom script, but I'm not sure if
it's worth thinking of another way.
regards, tom lane
