From: Stefano Zacchiroli <zack@upsilon.cc>
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