diff --git a/doc/org/.gitignore b/doc/org/.gitignore
index 5cbd86749..1317a8bee 100644
--- a/doc/org/.gitignore
+++ b/doc/org/.gitignore
@@ -16,3 +16,4 @@ sample.ltl
 *.hoa
 g++wrap
 *.fls
+sitemap.org