distribute more stuff

added an install target to the manual makefile

diff --git a/helm/software/Makefile b/helm/software/Makefile
index c3ce697ffe8f55b1e9277dbb085d24e22f8c5fd3..83613765669d2421ff69b0586fb56293b2901b4f 100644 (file)
--- 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)

diff --git a/helm/software/matita/help/C/Makefile b/helm/software/matita/help/C/Makefile
index 71d1b5973e1120a9f9f9d2945a3d5b59e56abebb..dab6f2b4cf1d6b7e75da774a1b0a3b9e274afdb0 100644 (file)
--- a/helm/software/matita/help/C/Makefile
+++ b/helm/software/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))