distribute more stuff

[helm.git] / Makefile

diff --git a/Makefile b/Makefile
index c3ce697ffe8f55b1e9277dbb085d24e22f8c5fd3..83613765669d2421ff69b0586fb56293b2901b4f 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -52,17 +52,18 @@ CLEAN_ON_DIST =             \
 EXTRA_DIST =                   \
        matita/AUTHORS          \
        matita/LICENSE          \
+       matita/dist/BUGS        \
+       matita/dist/ChangeLog   \
        matita/dist/COPYING     \
        matita/dist/INSTALL     \
        matita/dist/README      \
-       matita/dist/ChangeLog   \
        Makefile                \
        Makefile.defs.in        \
        $(NULL)
 
 distcheck: dist dist_extract dist_test
 
-dist: dist_mktmpdir dist_export dist_mktarball dist_rmtmpdir
+dist: dist_mktmpdir dist_pre dist_export dist_mktarball dist_rmtmpdir
 dist/configure.ac: configure.ac matita/dist/configure.ac.sed
        sed -f matita/dist/configure.ac.sed < $< > $@
 dist/configure: dist/configure.ac
@@ -71,6 +72,8 @@ dist_mktmpdir:
        test -d dist || mkdir dist
 dist_rmtmpdir:
        test -d dist && rm -rf dist/ || true
+dist_pre:
+       $(MAKE) -C matita dist_pre
 dist_export: dist/configure
        rm -rf $(DISTDIR)
        mkdir $(DISTDIR)
@@ -80,6 +83,9 @@ dist_export: dist/configure
        (cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
        cp $< $(DISTDIR)/configure
        cp -r $(EXTRA_DIST) $(DISTDIR)
+       # distribute HTML version of the manual
+       mkdir -p $(DISTDIR)/docs/manual/
+       $(MAKE) -C matita/help/C/ install DESTDIR=$(CURDIR)/$(DISTDIR)/docs/manual/
 dist_mktarball:
        tar czf $(DISTDIR).tar.gz $(DISTDIR)
        rm -rf $(DISTDIR)