> Out of curiosity : is there any mechanism in the post-commit that > checks if "make html" > doesn't spit any error ? No, there is no such mechanism. There are daily builds which will report errors eventually. Regards, Martin