X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fhttp_getter%2FMakefile;h=4689159e9d787c059cc6ebdbd61f95cb87de2e18;hb=4be3764541d8caa00737a686156907e7f2ae720c;hp=e6731ae03f8ded0419381fbbb02d23f936d8649f;hpb=e7e2a523299d807370b292b44e77f46fad1638c9;p=helm.git 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) \