]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/.depend
* .mli added where needed
[helm.git] / helm / ocaml / getter / .depend
index 1b3156776493d5a3e9c16d98964da292124f593f..2013e9b3e1b07b789ed8fddfa5a9c05990d2b350 100644 (file)
@@ -1,4 +1,6 @@
-clientHTTP.cmo: configuration.cmo clientHTTP.cmi 
+configuration.cmo: configuration.cmi 
+configuration.cmx: configuration.cmi 
+clientHTTP.cmo: configuration.cmi clientHTTP.cmi 
 clientHTTP.cmx: configuration.cmx clientHTTP.cmi 
-getter.cmo: clientHTTP.cmi configuration.cmo getter.cmi 
+getter.cmo: clientHTTP.cmi configuration.cmi getter.cmi 
 getter.cmx: clientHTTP.cmx configuration.cmx getter.cmi