diff --git a/.gitignore b/.gitignore
index 235e93cb..02705443 100644
--- a/.gitignore
+++ b/.gitignore
@@ -254,3 +254,10 @@ paket-files/
 # Autotools
 Makefile
 Makefile.in
+
+aclocal.m4
+autom4te.cache
+config.status
+configure
+install-sh
+missing