From 3b7b52027ca0cf9700804f1eed84c56478972845 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 3 Jan 2015 19:01:44 +0100
Subject: [PATCH] More files to ignore.

---
 .gitignore               |  1 -
 bench/spin13/.gitignore  |  1 +
 doc/.gitignore           |  2 ++
 doc/org/.gitignore       |  3 +++
 doc/tl/.gitignore        |  1 +
 iface/ltsmin/.gitignore  |  1 +
 lib/.gitignore           |  2 ++
 src/bin/.gitignore       | 10 +++++++---
 src/graphtest/.gitignore |  4 +++-
 src/tgbatest/.gitignore  |  4 ++++
 10 files changed, 24 insertions(+), 5 deletions(-)

diff --git a/.gitignore b/.gitignore
index 64766a5a0..e6eeb3eca 100644
--- a/.gitignore
+++ b/.gitignore
@@ -68,4 +68,3 @@ dt*ba-sat.dbg
 *.dstar
 *.satlog
 *.png
-
diff --git a/bench/spin13/.gitignore b/bench/spin13/.gitignore
index 5ff44fbc0..a212b6a21 100644
--- a/bench/spin13/.gitignore
+++ b/bench/spin13/.gitignore
@@ -5,4 +5,5 @@
 *.tex
 *.pdf
 *.mk
+*.stamp
 auto/
diff --git a/doc/.gitignore b/doc/.gitignore
index 6cea47838..54efaa516 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -9,3 +9,5 @@ stamp
 *.tmp
 dot
 org-stamp
+doxygen_sqlite3.db
+/userdoc/syntax.css
diff --git a/doc/org/.gitignore b/doc/org/.gitignore
index 89da69467..c324884bb 100644
--- a/doc/org/.gitignore
+++ b/doc/org/.gitignore
@@ -8,3 +8,6 @@ sum.py
 init.el
 fagfb
 gfagfb
+bogus
+bogus-grind
+example.hoa
diff --git a/doc/tl/.gitignore b/doc/tl/.gitignore
index acebf482c..81b127018 100644
--- a/doc/tl/.gitignore
+++ b/doc/tl/.gitignore
@@ -6,6 +6,7 @@
 tmp.t2d
 *.ilg
 *.ind
+*.fls
 *.fdb_latexmk
 auto
 _region_.tex
diff --git a/iface/ltsmin/.gitignore b/iface/ltsmin/.gitignore
index 992655b40..f90dc79a2 100644
--- a/iface/ltsmin/.gitignore
+++ b/iface/ltsmin/.gitignore
@@ -5,3 +5,4 @@ defs
 *.spins
 *.c
 check
+modelcheck
diff --git a/lib/.gitignore b/lib/.gitignore
index a92591d2a..6d3ab8462 100644
--- a/lib/.gitignore
+++ b/lib/.gitignore
@@ -19,3 +19,5 @@ unistd.h
 warn-on-use.h
 wchar.h
 wctype.h
+*.sed
+*.alias
diff --git a/src/bin/.gitignore b/src/bin/.gitignore
index 1ee77695d..6cf200db9 100644
--- a/src/bin/.gitignore
+++ b/src/bin/.gitignore
@@ -1,9 +1,13 @@
-ltlfilt
+autfilt
+dstar2tgba
+genltl
 ltl2tgba
 ltl2tgta
-randltl
-genltl
 ltlcross
+ltlfilt
+ltlgrind
+randaut
+randltl
 spot-x
 *.a
 *.1
diff --git a/src/graphtest/.gitignore b/src/graphtest/.gitignore
index 7fd396885..5ad8c3fb2 100644
--- a/src/graphtest/.gitignore
+++ b/src/graphtest/.gitignore
@@ -1,2 +1,4 @@
-graphtest
+graph
+ngraph
+tgbagraph
 defs
diff --git a/src/tgbatest/.gitignore b/src/tgbatest/.gitignore
index af7797635..5bd70e68d 100644
--- a/src/tgbatest/.gitignore
+++ b/src/tgbatest/.gitignore
@@ -1,6 +1,9 @@
+acc
 bddprod
+bitvect
 blue_counter
 checkpsl
+checkta
 complement
 defs
 .deps
@@ -28,6 +31,7 @@ output2
 powerset
 *.ps
 randtgba
+readsat
 readsave
 reduccmp
 reductgba