X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fpxp%2F.depend;fp=helm%2Focaml%2Fpxp%2F.depend;h=5ad7c60e2f1b987019c2893209e658613b277936;hb=d4dd07ecc4191d9dac83b5d4d23dfc61c4492d77;hp=0000000000000000000000000000000000000000;hpb=5a92117eeff70048d29e91ba24e113155d956e1b;p=helm.git

diff --git a/helm/ocaml/pxp/.depend b/helm/ocaml/pxp/.depend
new file mode 100644
index 000000000..5ad7c60e2
--- /dev/null
+++ b/helm/ocaml/pxp/.depend
@@ -0,0 +1,2 @@
+pxpUriResolver.cmo: csc_pxp_reader.cmo 
+pxpUriResolver.cmx: csc_pxp_reader.cmx