From: Stefano Zacchiroli Date: Tue, 16 Dec 2003 17:11:48 +0000 (+0000) Subject: removed useless ocamlfind query of the netclient package X-Git-Tag: V_0_5_1_3~75 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7e58d5cf21a9ce31b0c3159671a96cc06b39c929;p=helm.git removed useless ocamlfind query of the netclient package --- diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile index e6731ae03..4689159e9 100644 --- a/helm/http_getter/Makefile +++ b/helm/http_getter/Makefile @@ -16,7 +16,6 @@ OCAMLDOC = \ $(shell $(OCAMLFIND) query -i-format http) \ $(shell $(OCAMLFIND) query -i-format dbm) \ $(shell $(OCAMLFIND) query -i-format pcre) \ - $(shell $(OCAMLFIND) query -i-format netclient) \ $(shell $(OCAMLFIND) query -i-format pxp) \ $(shell $(OCAMLFIND) query -i-format shell) \ $(shell $(OCAMLFIND) query -i-format threads) \