On tor, 2012-05-10 at 17:31 +0200, Magnus Hagander wrote: > If people want the main docs building more often that's not really a > problem other than time - we just need to decouple it from the > buildfarm and run a separate job for it. It's not rocket science..
Many years ago, Bruce and myself in particular put in a lot of work to make the turnaround time on the docs build less than 5 minutes, based on various requests. I'm disappointed to learn that that was abandoned without discussion. We might as well just put the old job back. -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
