diff --git a/src/tgbatest/.cvsignore b/src/tgbatest/.cvsignore
index 33733f242..c0c095c1a 100644
--- a/src/tgbatest/.cvsignore
+++ b/src/tgbatest/.cvsignore
@@ -9,3 +9,6 @@ readsave
 ltl2tgba
 ltlprod
 bddprod
+explprod
+*.ps
+*.dot