Stefan Kaltenbrunner <stefan@kaltenbrunner.cc> writes:
> Dave Page wrote:
>> Ah - it only rebuilds the docs once a day. I thought we'd increased that
>> frequency now wwwmaster is on a much faster box. I'm running the build
>> manually now - the changes should be visible within an hour or so.
> sounds like something we could easily do to reduce the turn-around times
> for changes like this ...
Given that most of the time the docs don't change from day to day,
it seems like timed rebuilds are a waste of cycles. Can't it be
set up with some kind of trigger arrangement? Or at least a quick
check in the script to see if anything's changed?
regards, tom lane