From: Stefano Zacchiroli Date: Fri, 15 Nov 2002 15:06:33 +0000 (+0000) Subject: oopss, I forgot to commit .depend last time ... X-Git-Tag: V_0_0_3~8 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fe54cc94f511222c8d10b1492f9fe1384d277a51;p=helm.git oopss, I forgot to commit .depend last time ... --- diff --git a/helm/DEVEL/ocaml-http/.depend b/helm/DEVEL/ocaml-http/.depend index 528e32d66..a23e19f1d 100644 --- a/helm/DEVEL/ocaml-http/.depend +++ b/helm/DEVEL/ocaml-http/.depend @@ -8,8 +8,13 @@ http_misc.cmo: http_misc.cmi http_misc.cmx: http_misc.cmi http_request.cmo: http_common.cmi http_request.cmi http_request.cmx: http_common.cmx http_request.cmi -http_response.cmo: http_common.cmi http_daemon.cmi http_response.cmi -http_response.cmx: http_common.cmx http_daemon.cmx http_response.cmi +http_response.cmo: http_common.cmi http_daemon.cmi http_types.cmi \ + http_response.cmi +http_response.cmx: http_common.cmx http_daemon.cmx http_types.cmx \ + http_response.cmi http_types.cmo: http_types.cmi http_types.cmx: http_types.cmi http_common.cmi: http_types.cmi +http_daemon.cmi: http_types.cmi +http_request.cmi: http_types.cmi +http_response.cmi: http_types.cmi