From e2b4d38ade5bf7317a7fe94a4ff6df96b29da433 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 3 Oct 2016 16:15:35 +0200
Subject: [PATCH] more file to ignore

* bin/.gitignore, doc/org/.gitignore: Here.
---
 bin/.gitignore     | 1 +
 doc/org/.gitignore | 1 +
 2 files changed, 2 insertions(+)

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