diff --git a/.gitignore b/.gitignore
index e6eeb3eca..7618c7b03 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,7 @@ config.status
 aclocal.m4
 autom4te.cache
 libtool
+auto
 *.gz
 *.patch
 *.o
diff --git a/bench/dtgbasat/.gitignore b/bench/dtgbasat/.gitignore
new file mode 100644
index 000000000..732045750
--- /dev/null
+++ b/bench/dtgbasat/.gitignore
@@ -0,0 +1 @@
+stats.mk
diff --git a/src/kripketest/.gitignore b/src/kripketest/.gitignore
index bb3edc66b..2a1c12db2 100644
--- a/src/kripketest/.gitignore
+++ b/src/kripketest/.gitignore
@@ -1,3 +1,4 @@
 Makefile
 Makefile.in
 defs
+parse_print