]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/Makefile
This commit was manufactured by cvs2svn to create tag 'V_0_2_3'.
[helm.git] / helm / http_getter / Makefile
index e6731ae03f8ded0419381fbbb02d23f936d8649f..8ff636e311344e89ab90e421f6dbb4793f6ff4c2 100644 (file)
@@ -1,4 +1,4 @@
-VERSION = 0.2.2
+VERSION = 0.2.3
 NAME = http_getter
 
 DISTDIR = http-getter-$(VERSION)
@@ -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)   \