1 files changed, 7 insertions, 1 deletions

diff --git a/.gitignore b/.gitignore
index d49d37c..5e24295 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
 *.aux
 *.glob
+*.tar.gz
 *.vo
 *.vok
 *.vos
@@ -7,4 +8,9 @@
 .CoqMakefile.d
 .lia.cache
 CoqMakefile
-CoqMakefile.conf
\ No newline at end of file
+CoqMakefile.conf
+Makefile
+autom4te.cache
+config.log
+config.status
+configure