From: Stefano Zacchiroli Date: Fri, 21 Mar 2003 18:06:55 +0000 (+0000) Subject: bugfix: takes doc from "doc" dir X-Git-Tag: before_refactoring~93 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=61439c5faa2925517b208761c3861880ccabe945;p=helm.git bugfix: takes doc from "doc" dir --- diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile index 573c48d14..db6f7cb2c 100644 --- a/helm/http_getter/Makefile +++ b/helm/http_getter/Makefile @@ -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