diff --git a/bench/ltlcounter/.gitignore b/bench/ltlcounter/.gitignore
index 651393aca..417f75153 100644
--- a/bench/ltlcounter/.gitignore
+++ b/bench/ltlcounter/.gitignore
@@ -1,3 +1,4 @@
 *.eps
 results*
 defs
+out
diff --git a/doc/.gitignore b/doc/.gitignore
index 28f62a3b3..61e68169b 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -6,3 +6,5 @@ spot.latex
 spot.tag
 *.pdf
 stamp
+*.tmp
+dot
diff --git a/src/sabatest/.gitignore b/src/sabatest/.gitignore
new file mode 100644
index 000000000..ef6565fb4
--- /dev/null
+++ b/src/sabatest/.gitignore
@@ -0,0 +1 @@
+defs
diff --git a/wrap/python/.gitignore b/wrap/python/.gitignore
index 64a1cd01c..06748a6ea 100644
--- a/wrap/python/.gitignore
+++ b/wrap/python/.gitignore
@@ -9,3 +9,4 @@ buddy.py*
 *.loT
 *_wrap.*
 *.pyc
+*/spotimg