From b4a7a577a04c56a68b6d79d06fdb925ff0bbd331 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 24 May 2004 12:53:22 +0000 Subject: [PATCH] don't remove documentation on "make dist" so that documentation will be part of the generated tarball --- helm/DEVEL/ocaml-http/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 2.39.2