*~ *.o *.a *.lo *.la *.dvi *.synctex.gz .deps .libs autom4te.cache/ Makefile Makefile.in aclocal.m4 config.guess config.h config.h.in config.log config.status config.sub configure depcomp install-sh intltool-extract.in intltool-merge.in intltool-update.in libtool ltmain.sh missing mkinstalldirs stamp-h1 .emacs.desktop nbproject config.guess.dh-orig config.sub.dh-orig aclocal coq *.log *.crt *.pc compile test-driver \#*