]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/Makefile
bugfix: takes doc from "doc" dir
[helm.git] / helm / http_getter / Makefile
index 573c48d141bc0e60874aa60f726b992a804f1a08..db6f7cb2cf080e03a275d93950556854b600badd 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