X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2F.depend;h=c51f1a8e4abb83b2be03ca991ef12d102fc10a16;hb=03d1ddf4a7fdf03fd497babd84d1963048253f0d;hp=1b3156776493d5a3e9c16d98964da292124f593f;hpb=d4dd07ecc4191d9dac83b5d4d23dfc61c4492d77;p=helm.git diff --git a/helm/ocaml/getter/.depend b/helm/ocaml/getter/.depend index 1b3156776..c51f1a8e4 100644 --- a/helm/ocaml/getter/.depend +++ b/helm/ocaml/getter/.depend @@ -1,4 +1,6 @@ -clientHTTP.cmo: configuration.cmo clientHTTP.cmi -clientHTTP.cmx: configuration.cmx clientHTTP.cmi -getter.cmo: clientHTTP.cmi configuration.cmo getter.cmi +configuration.cmo: configuration.cmi +configuration.cmx: configuration.cmi +clientHTTP.cmo: clientHTTP.cmi +clientHTTP.cmx: clientHTTP.cmi +getter.cmo: clientHTTP.cmi configuration.cmi getter.cmi getter.cmx: clientHTTP.cmx configuration.cmx getter.cmi