j
k
j a
j l
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
Back to the thread
Back to the list