Update .gitignore.

[tatoo.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 8810ca0..4030ff6 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,9 +1,10 @@
-*.dep
+gmon.out
+*.dep*
 *.cm*
 *.o
 *.native
 *.byte
-tests/*.results/*_tatoo*
+tests/xpath/*.results/*_tatoo*
 *.class
 tests/trace/*.html
 tests/trace/*.dot
@@ -13,9 +14,15 @@ config.status
 Remakefile
 Makefile
 autom4te.cache
+_build
 config.log
 remake
 .remake
 src/xpath/xpath_internal_parser.ml
 src/xpath/xpath_internal_parser.mli
+src/trace_css.ml
+src/trace_js.ml
+tests/xpath/xmark*.xml
+tests/xpath/xmark*.xml.queries
+