From 73b1a0901ece500802e3a46320f039ecd750a2e3 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 21 Jan 2016 18:57:02 +0100
Subject: [PATCH] * doc/org/.gitignore: Add sitemap.org.

---
 doc/org/.gitignore | 1 +
 1 file changed, 1 insertion(+)

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