X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhxp%2F.depend;fp=helm%2Fhxp%2F.depend;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=7f855a44b6cee50f767d5919d28f3274a34ef4e5;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/hxp/.depend b/helm/hxp/.depend
deleted file mode 100644
index 7f855a44b..000000000
--- a/helm/hxp/.depend
+++ /dev/null
@@ -1,9 +0,0 @@
-hxpTop.cmo: hxpTypes.cmo hxpXML.cmo 
-hxpTop.cmx: hxpTypes.cmx hxpXML.cmx 
-hxpParser.cmo: hxpTypes.cmo hxpParser.cmi 
-hxpParser.cmx: hxpTypes.cmx hxpParser.cmi 
-hxpParser.cmi: hxpTypes.cmo 
-hxpLexer.cmo: hxpParser.cmi 
-hxpLexer.cmx: hxpParser.cmx 
-hxpXML.cmo: hxpLexer.cmo hxpParser.cmi hxpTypes.cmo 
-hxpXML.cmx: hxpLexer.cmx hxpParser.cmx hxpTypes.cmx