Stefano Zacchiroli wrote: > [ Disclaimer: I don't know the technical setup of www.d.o, so I don't > know if there is a different between commit time and publish time. > Until I fix this ignorance of mine, that would surely block me from > committing, for instance :-) ] No, there is not. The website is rebuilt (as needed) every 8 hours based on whatever is in CVS at that time.