From: Stefano Zacchiroli Date: Fri, 21 Mar 2003 18:05:35 +0000 (+0000) Subject: added EXTRA_DIST and docs X-Git-Tag: before_refactoring~94 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9a54fca5a0fd82206a4fbd386a845c58eefe75ac;p=helm.git added EXTRA_DIST and docs --- diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile index 6584bda68..573c48d14 100644 --- a/helm/http_getter/Makefile +++ b/helm/http_getter/Makefile @@ -1,6 +1,12 @@ VERSION = 0.2.1 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 + REQUIRES = http dbm pcre netclient pxp shell threads zip COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o OCAMLFIND = ocamlfind @@ -60,6 +66,8 @@ clean: dist: distclean depend if [ -d $(DISTDIR) ]; then rm -rf $(DISTDIR); else true; fi mkdir $(DISTDIR)/ + mkdir $(DISTDIR)/doc + cp $(DOCS) $(DISTDIR)/doc/ for m in $(patsubst %, %.mli, $(MODULES)); do \ if [ "$$m" != "http_getter_types.mli" ]; then \ cp $$m $(DISTDIR)/; \ @@ -70,6 +78,7 @@ dist: distclean depend $(NAME).ml \ Makefile Makefile.overrides .depend \ $(DISTDIR)/ + cp $(EXTRA_DIST) $(DISTDIR)/ tar cvzf $(DISTDIR).tar.gz $(DISTDIR)/ rm -rf $(DISTDIR)/ distcheck: dist