rm .depend

diff --git a/helm/matita/tests/bad_tests/.depend b/helm/matita/tests/bad_tests/.depend
deleted file mode 100644 (file)
index 8f040e5..0000000
--- a/helm/matita/tests/bad_tests/.depend
+++ /dev/null
@@ -1,6 +0,0 @@
-/home/sacerdot/.matita/xml/matita/tests/auto.moo: auto.ma /home/sacerdot/miohelm/matita/coq.moo
-auto.mo: /home/sacerdot/.matita/xml/matita/tests/auto.moo
-/home/sacerdot/.matita/xml/matita/tests/baseuri.moo: baseuri.ma
-baseuri.mo: /home/sacerdot/.matita/xml/matita/tests/baseuri.moo
-/home/sacerdot/.matita/xml/matita/tests/test2.moo: test2.ma /home/sacerdot/miohelm/matita/coq.moo
-test2.mo: /home/sacerdot/.matita/xml/matita/tests/test2.moo