diff --git a/iface/gspn/.cvsignore b/iface/gspn/.cvsignore
index c5d194a1b..9b1222407 100644
--- a/iface/gspn/.cvsignore
+++ b/iface/gspn/.cvsignore
@@ -5,3 +5,4 @@ Makefile
 *.la
 .deps
 .libs
+defs
diff --git a/lbtt/doc/.cvsignore b/lbtt/doc/.cvsignore
index 1e7fcf77d..cc5fa0863 100644
--- a/lbtt/doc/.cvsignore
+++ b/lbtt/doc/.cvsignore
@@ -1,3 +1,4 @@
 Makefile.in
 Makefile
 *.info*
+texinfo.tex
diff --git a/src/ltltest/.cvsignore b/src/ltltest/.cvsignore
index d72ca829b..c64a83274 100644
--- a/src/ltltest/.cvsignore
+++ b/src/ltltest/.cvsignore
@@ -14,3 +14,6 @@ nenoform
 tunenoform
 .libs
 tostring
+reduc
+reduccmp
+syntimpl
diff --git a/src/sanity/.cvsignore b/src/sanity/.cvsignore
new file mode 100644
index 000000000..3dda72986
--- /dev/null
+++ b/src/sanity/.cvsignore
@@ -0,0 +1,2 @@
+Makefile.in
+Makefile
diff --git a/src/tgbatest/.cvsignore b/src/tgbatest/.cvsignore
index a1b482e8c..b7bfec36b 100644
--- a/src/tgbatest/.cvsignore
+++ b/src/tgbatest/.cvsignore
@@ -16,3 +16,7 @@ tripprod
 mixprod
 spotlbtt
 ltlmagic
+expldot
+powerset
+reduccmp
+reductgba