syntax: glob

*~

*.depend
*.vo
Makefile.coq
*.glob
*.v.d
