]> matita.cs.unibo.it Git - helm.git/commitdiff
removed useless ocamlfind query of the netclient package
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 17:11:48 +0000 (17:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 17:11:48 +0000 (17:11 +0000)
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)   \