From db68221f7c365301bee8fc55f576f1ce4df234fe Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Fri, 19 Oct 2012 14:46:03 +0200
Subject: [PATCH] Add explicitely index files in the main .gitignore remove
 directory local gitignore file.

---
 .gitignore            | 1 +
 tests/docs/.gitignore | 5 -----
 2 files changed, 1 insertion(+), 5 deletions(-)
 delete mode 100644 tests/docs/.gitignore

diff --git a/.gitignore b/.gitignore
index b5e65f7..f4076a3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,4 @@ _build
 myocamlbuild_config.ml
 *.log
 *_swcsa.*
+tests/docs/*.srx
diff --git a/tests/docs/.gitignore b/tests/docs/.gitignore
deleted file mode 100644
index a883f88..0000000
--- a/tests/docs/.gitignore
+++ /dev/null
@@ -1,5 +0,0 @@
-*.srx
-*.xml
-*.bin
-*.g
-
-- 
2.17.1