]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / http_getter / Makefile
index 573c48d141bc0e60874aa60f726b992a804f1a08..be5ff627fdd80c2e205ba513a3241e350661dba8 100644 (file)
@@ -3,9 +3,7 @@ NAME = http_getter
 
 DISTDIR = http-getter-$(VERSION)
 EXTRA_DIST = AUTHORS COPYING NEWS README BUGS
-       # docs relative to "doc/" dir
-DOCS = \
-       http_getter.conf.xml.sample
+DOCS = doc/http_getter.conf.xml.sample
 
 REQUIRES = http dbm pcre netclient pxp shell threads zip
 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
@@ -24,9 +22,9 @@ OCAMLDOC =    \
                $(shell $(OCAMLFIND) query -i-format threads)   \
                $(shell $(OCAMLFIND) query -i-format zip)
 MODULES =      \
-       http_getter_debugger threadSafe                                                 \
-       http_getter_types http_getter_misc http_getter_const    \
-       http_getter_env http_getter_common http_getter_map              \
+       http_getter_debugger threadSafe                                                         \
+       http_getter_types zack http_getter_misc http_getter_const       \
+       http_getter_env http_getter_common http_getter_map                      \
        http_getter_cache
 
 OBJS = $(patsubst %,%.cmo,$(MODULES))