X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2FMakefile;h=573c48d141bc0e60874aa60f726b992a804f1a08;hb=9a54fca5a0fd82206a4fbd386a845c58eefe75ac;hp=6584bda68bc90559ba15a9fc0a2ca643197db200;hpb=13bf86fec2e15d110eac686093bb053e4c124cd9;p=helm.git

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