adamc@0: syntax: glob
adamc@0: 
adamc@0: *~
adamc@0: 
adamc@0: *.depend
adamc@0: *.vo
adamc@0: */Makefile.coq
adamc@2: */.coq_globals
adamc@3: 
adamc@3: */coqdoc.sty
adamc@3: */cpdt.*
adamc@3: */*.log
adamc@3: