adamc@0: syntax: glob adamc@0: adamc@0: *~ adamc@0: adamc@0: *.depend adamc@0: *.vo adamc@13: Makefile.coq adamc@13: .coq_globals adamc@3: adamc@3: */coqdoc.sty adamc@3: */cpdt.* adamc@3: */*.log adamc@3: adamc@13: html/coqdoc.css adamc@13: html/*.html adamc@22: adamc@22: templates/*.v