diff --git a/.gitignore b/.gitignore
index c9b7b672f..64766a5a0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -61,3 +61,11 @@ dt*ba-sat.cnf
 dt*ba-sat.out
 dt*ba-sat.dbg
 *.exe
+*.tex
+*.out
+*.cnf
+*.html
+*.dstar
+*.satlog
+*.png
+