]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/Makefile
don't remove documentation on "make dist" so that documentation will be
[helm.git] / helm / DEVEL / ocaml-http / Makefile
index 88e2a76abe7ba9ca7aa376e21fd6d3614875796e..943174225ebaabee3a096cd6b37fe9fac326699e 100644 (file)
@@ -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