From: Kim Nguyễn <kn@lri.fr>
Date: Fri, 19 Oct 2012 12:46:03 +0000 (+0200)
Subject: Add explicitely index files in the main .gitignore
X-Git-Url: http://git.nguyen.vg/gitweb/?p=SXSI%2Fxpathcomp.git;a=commitdiff_plain;h=db68221f7c365301bee8fc55f576f1ce4df234fe

Add explicitely index files in the main .gitignore
remove directory local gitignore file.
---

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
-