From 6f99829a1ded771526ed087753a47ef5e997da76 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 9 Sep 2015 00:12:11 +0200
Subject: [PATCH] help git --status by ignoring more files

* .gitignore, bench/dtgbasat/.gitignore, debian/.gitignore,
doc/org/.gitignore, src/tests/.gitignore, wrap/python/.gitignore: More
files to ignore.
* doc/org/ltlfilt.org: Erase some temporary files.
---
 .gitignore                | 6 ++++++
 bench/dtgbasat/.gitignore | 3 +++
 debian/.gitignore         | 1 +
 doc/org/.gitignore        | 2 ++
 doc/org/ltlfilt.org       | 4 ++++
 src/tests/.gitignore      | 2 +-
 wrap/python/.gitignore    | 1 +
 7 files changed, 18 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 90da2fb57..1a64160b5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -73,3 +73,9 @@ GPATH
 GRTAGS
 GSYMS
 GTAGS
+*.xz
+*.build
+*.deb
+*.changes
+*.dsc
+
diff --git a/bench/dtgbasat/.gitignore b/bench/dtgbasat/.gitignore
index 732045750..ae86cc47e 100644
--- a/bench/dtgbasat/.gitignore
+++ b/bench/dtgbasat/.gitignore
@@ -1 +1,4 @@
 stats.mk
+nodups.ltl
+info.ltl
+
diff --git a/debian/.gitignore b/debian/.gitignore
index 696e79c95..47bd0c326 100644
--- a/debian/.gitignore
+++ b/debian/.gitignore
@@ -1 +1,2 @@
 *.ex
+changelog
diff --git a/doc/org/.gitignore b/doc/org/.gitignore
index d3877e60e..5cbd86749 100644
--- a/doc/org/.gitignore
+++ b/doc/org/.gitignore
@@ -14,3 +14,5 @@ example.hoa
 sample.ltl
 *.ltl
 *.hoa
+g++wrap
+*.fls
diff --git a/doc/org/ltlfilt.org b/doc/org/ltlfilt.org
index fc5f871b8..83d22bc09 100644
--- a/doc/org/ltlfilt.org
+++ b/doc/org/ltlfilt.org
@@ -410,6 +410,10 @@ ltlfilt --lbt-input -F scheck.ltl --guarantee --format=%L
 [[file:csv.org][More examples of how to use =--format= to create CSV files are on a
 separate page]]
 
+#+BEGIN_SRC sh :results verbatim :exports both
+rm -f ltlex.def ltlex.never
+#+END_SRC
+
 #  LocalWords:  ltlfilt num toc LTL PSL syntaxes LBT's SRC GFp scheck
 #  LocalWords:  ltl EOF lbt Gp Fp Xp XFp XXp randltl ary nnf wm abc
 #  LocalWords:  pnn Xb Fc XFb XXd sed boolean bsize nox Gb Fb Xa XGb
diff --git a/src/tests/.gitignore b/src/tests/.gitignore
index 3086f5b53..35bf1ca83 100644
--- a/src/tests/.gitignore
+++ b/src/tests/.gitignore
@@ -28,7 +28,7 @@ intvcmp2
 kind
 length
 .libs
-ltl2tgba
+ikwiad
 ltl2dot
 ltl2text
 ltlmagic
diff --git a/wrap/python/.gitignore b/wrap/python/.gitignore
index 891c9779a..122ee52a0 100644
--- a/wrap/python/.gitignore
+++ b/wrap/python/.gitignore
@@ -10,3 +10,4 @@ buddy.py*
 *_wrap.*
 *.pyc
 */spotimg
+ajax/*.py