Don't commit coqdoc.sty