On Sat, Jan 3, 2009 at 3:39 PM, Tarek Ziadé ziade.tarek@gmail.com wrote:
Out of curiosity : is there any mechanism in the post-commit that checks if "make html" doesn't spit any error ?
Not automatically. However, Georg and I test it fairly often and fix markup errors if they're present.