adamc@0: syntax: glob
adamc@0: 
adamc@0: *~
adamc@0: 
adamc@0: *.depend
adamc@0: *.vo
adamc@0: */Makefile.coq
adamc@2: */.coq_globals