diff --git a/bench/stutter/.gitignore b/bench/stutter/.gitignore
new file mode 100644
index 000000000..46710e77e
--- /dev/null
+++ b/bench/stutter/.gitignore
@@ -0,0 +1,7 @@
+*.ltl
+*.csv
+run.mk
+formulas
+stutter_invariance_formulas
+stutter_invariance_randomgraph
+
diff --git a/doc/org/.gitignore b/doc/org/.gitignore
index 58789332e..d3877e60e 100644
--- a/doc/org/.gitignore
+++ b/doc/org/.gitignore
@@ -12,3 +12,5 @@ bogus
 bogus-grind
 example.hoa
 sample.ltl
+*.ltl
+*.hoa