X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fpxp%2F.depend;h=194343c475581fb7843a0afe2d56876d90d8e8ae;hb=cc6e7ad571d40a88686427bd75e0fa38c0fa120b;hp=c2a1a4be6c0cc914ae324ea87eac919d02ca2c20;hpb=be4d9c44f4d9df070339da40aa82c8cb0cc6467c;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