]> matita.cs.unibo.it Git - helm.git/commitdiff
bugfix: takes doc from "doc" dir
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Mar 2003 18:06:55 +0000 (18:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Mar 2003 18:06:55 +0000 (18:06 +0000)
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