diff --git a/bin/.gitignore b/bin/.gitignore
index fbc1b11fd..f62b9ac8c 100644
--- a/bin/.gitignore
+++ b/bin/.gitignore
@@ -9,6 +9,7 @@ ltlfilt
 ltlgrind
 randaut
 randltl
+spot
 spot-x
 *.a
 *.1
diff --git a/doc/org/.gitignore b/doc/org/.gitignore
index 1317a8bee..cbb9e4fa1 100644
--- a/doc/org/.gitignore
+++ b/doc/org/.gitignore
@@ -17,3 +17,4 @@ sample.ltl
 g++wrap
 *.fls
 sitemap.org
+plantuml.jar