From 8bf913a678dcc31b84096879e57c0b5bd2584f19 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 21 Mar 2003 17:58:05 +0000
Subject: [PATCH] - implemented distcheck target - bugfix: added some target to
 .PHONY

---
 helm/http_getter/Makefile | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile
index c9e1a3bc5..6584bda68 100644
--- a/helm/http_getter/Makefile
+++ b/helm/http_getter/Makefile
@@ -58,15 +58,24 @@ distclean: clean
 clean:
 	rm -f *.cm[aiox] *.o $(NAME){,.opt} *.dot
 dist: distclean depend
+	if [ -d $(DISTDIR) ]; then rm -rf $(DISTDIR); else true; fi
 	mkdir $(DISTDIR)/
+	for m in $(patsubst %, %.mli, $(MODULES)); do	\
+		if [ "$$m" != "http_getter_types.mli" ]; then	\
+			cp $$m $(DISTDIR)/;	\
+		fi;	\
+	done
 	cp	\
 		$(patsubst %, %.ml, $(MODULES))	\
-		$(patsubst %, %.mli, $(MODULES))	\
 		$(NAME).ml	\
-		Makefile .depend	\
+		Makefile Makefile.overrides .depend	\
 		$(DISTDIR)/
 	tar cvzf $(DISTDIR).tar.gz $(DISTDIR)/
 	rm -rf $(DISTDIR)/
+distcheck: dist
+	tar xvzf $(DISTDIR).tar.gz
+	cd $(DISTDIR); make
+	rm -rf $(DISTDIR)
 
-.PHONY: all byte opt world depend clean
+.PHONY: all byte dist distcheck opt world depend clean distclean
 
-- 
2.39.2