]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/Makefile
removed useless ocamlfind query of the netclient package
[helm.git] / helm / http_getter / Makefile
index e6731ae03f8ded0419381fbbb02d23f936d8649f..4689159e9d787c059cc6ebdbd61f95cb87de2e18 100644 (file)
@@ -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)   \