From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 13 Jun 2006 10:21:57 +0000 (+0000)
Subject: distribute more stuff
X-Git-Tag: 0.4.95@7852~1333
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6f769078a23e6c63706a86a35fdc4e8ba08a5414;p=helm.git

distribute more stuff
added an install target to the manual makefile
---

diff --git a/Makefile b/Makefile
index c3ce697ff..836137656 100644
--- 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)
diff --git a/matita/help/C/Makefile b/matita/help/C/Makefile
index 71d1b5973..dab6f2b4c 100644
--- a/matita/help/C/Makefile
+++ b/matita/help/C/Makefile
@@ -10,14 +10,16 @@ TEX_ENV=TEXINPUTS=.:$(TEX_UNICODE_PATH):$(TEX_UNICODE_PATH)/data:
 MAIN=matita.xml
 DEPS := $(wildcard *.xml)
 
+DESTDIR = /usr/local/share/doc/matita/
+
+all: html txt
+
 # one of: "fop", "pdflatex"
 PDF_METHOD=pdflatex
 
 # one of: "docbook2tex", "xsl"
 TEX_METHOD=xsl
 
-all: html txt
-
 clean:
 	rm -f *.html *.fo *.pdf
 	rm -rf $(filter-out version.txt,$(wildcard *.txt))
@@ -77,6 +79,14 @@ endif
 %.ps: %.dvi
 	dvips $<
 
+# installation
+
+install: install-html
+install-html: html-stamp
+	cp *.html *.css $(DESTDIR)
+
+# shotcuts
+
 tex: $(patsubst %.xml,%.tex,$(MAIN))
 dvi: $(patsubst %.xml,%.dvi,$(MAIN))
 ps: $(patsubst %.xml,%.ps,$(MAIN))