X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2FMakefile;h=943174225ebaabee3a096cd6b37fe9fac326699e;hb=ebc089606ccbb3e9dbde142542a1f98f5020b4dd;hp=88e2a76abe7ba9ca7aa376e21fd6d3614875796e;hpb=9cbd58217396efa32d61c5703a0c9b898b860e73;p=helm.git diff --git a/helm/DEVEL/ocaml-http/Makefile b/helm/DEVEL/ocaml-http/Makefile index 88e2a76ab..943174225 100644 --- a/helm/DEVEL/ocaml-http/Makefile +++ b/helm/DEVEL/ocaml-http/Makefile @@ -90,7 +90,7 @@ docclean: $(DOCDIR)/*.html $(DOCDIR)/*.css \ $(DOTDIR)/*.dot $(DOTDIR)/*.ps \ $(TEXDIR)/*.tex -distclean: clean docclean +distclean: clean $(MAKE) -C examples/ distclean rm -f META dist: distreal distrm @@ -100,7 +100,7 @@ distreal: distclean depend for f in \ $(patsubst %, %.ml, $(MODULES)) \ $(patsubst %, %.mli, $(MODULES) $(THREADED_SRV)) \ - mt/ non_mt/ $(EXTRA_DIST) examples/ debian/; \ + mt/ non_mt/ $(EXTRA_DIST) examples/ debian/; \ do \ cp -r $$f $(DISTDIR)/; \ done @@ -109,7 +109,7 @@ distreal: distclean depend tar cvzf $(DISTDIR).tar.gz $(DISTDIR)/ distrm: rm -rf $(DISTDIR)/ -deb: distreal +deb: docclean distreal (cd $(DISTDIR)/ && debuild) rm -rf $(DISTDIR)/ install: META