X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fpxp%2F.depend;h=194343c475581fb7843a0afe2d56876d90d8e8ae;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=c2a1a4be6c0cc914ae324ea87eac919d02ca2c20;hpb=f5b64337026ab6c98b33583ea85d0ab5d1410966;p=helm.git

diff --git a/helm/ocaml/pxp/.depend b/helm/ocaml/pxp/.depend
index c2a1a4be6..194343c47 100644
--- a/helm/ocaml/pxp/.depend
+++ b/helm/ocaml/pxp/.depend
@@ -1,2 +1,4 @@
 pxpUrlResolver.cmo: pxpUrlResolver.cmi 
 pxpUrlResolver.cmx: pxpUrlResolver.cmi 
+pxpHelmConf.cmo: pxpHelmConf.cmi 
+pxpHelmConf.cmx: pxpHelmConf.cmi