On Sat, Jan 3, 2009 at 3:39 PM, Tarek Ziadé <ziade.tarek at 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. -- Regards, Benjamin