X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2FMakefile;h=48c26758986b9c45d958f8a44cec1992951af745;hb=d4993a3584bd83a87f642e8766eb86c0a24b682b;hp=a9495db9d17e6536224de5d1a967492861b45ff2;hpb=20cfc5110b6140b4d54056026ec9c661deb9d358;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/Makefile b/helm/DEVEL/ocaml-http/Makefile
index a9495db9d..48c267589 100644
--- a/helm/DEVEL/ocaml-http/Makefile
+++ b/helm/DEVEL/ocaml-http/Makefile
@@ -76,6 +76,7 @@ distclean: clean docclean
 	-rm -f META
 dist: distreal distrm
 distreal: distclean depend
+	if [ -d $(DISTDIR) ]; then rm -rf $(DISTDIR); else true; fi
 	mkdir $(DISTDIR)
 	cp -r	\
 		$(patsubst %, %.ml, $(MODULES))	\