X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FMakefile;fp=helm%2Fsoftware%2FMakefile;h=83613765669d2421ff69b0586fb56293b2901b4f;hb=9c42f01f9163236dff3c19496774b0029e81551a;hp=c3ce697ffe8f55b1e9277dbb085d24e22f8c5fd3;hpb=187dab3bf76db53760c27efbb5a9b9a97a94dbbd;p=helm.git

diff --git a/helm/software/Makefile b/helm/software/Makefile
index c3ce697ff..836137656 100644
--- a/helm/software/Makefile
+++ b/helm/software/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)