syntax: glob

*~

*.depend
*.vo
*/Makefile.coq
*/.coq_globals

*/coqdoc.sty
*/cpdt.*
*/*.log

book/html/coqdoc.css
book/html/*.html