On Sat, Jan 3, 2009 at 3:39 PM, Tarek Ziadé firstname.lastname@example.org 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.
-- Regards, Benjamin