From 4c1a9fdb10932cd15e56a27c2cc97557874e8a34 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 17 May 2013 11:11:19 +0200
Subject: [PATCH] More files to ignore.

---
 .gitignore              | 3 +++
 bench/spin13/.gitignore | 8 ++++++++
 2 files changed, 11 insertions(+)
 create mode 100644 bench/spin13/.gitignore

diff --git a/.gitignore b/.gitignore
index 40d3d3d5a..3225e6ac9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -54,3 +54,6 @@ stamp-h1
 _*_
 spot-*/*
 config.cache
+*.json
+*.fdb_latexmk
+*.xz
diff --git a/bench/spin13/.gitignore b/bench/spin13/.gitignore
new file mode 100644
index 000000000..5ff44fbc0
--- /dev/null
+++ b/bench/spin13/.gitignore
@@ -0,0 +1,8 @@
+*.log
+*.html
+*.json
+*.csv
+*.tex
+*.pdf
+*.mk
+auto/