Add explicitely index files in the main .gitignore

remove directory local gitignore file.

diff --git a/.gitignore b/.gitignore
index b5e65f7..f4076a3 100644 (file)
--- 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 (file)
index a883f88..0000000
--- a/tests/docs/.gitignore
+++ /dev/null
@@ -1,5 +0,0 @@
-*.srx
-*.xml
-*.bin
-*.g
-