new documentation for the decompose tactic

[helm.git] / matita / help / C / Makefile

diff --git a/matita/help/C/Makefile b/matita/help/C/Makefile
index a789086dc2de0a66ced99e0bd8b7198173e1f204..fd0e3844f43d8302affa6c65cdd6baf6a0cd1900 100644 (file)
--- a/matita/help/C/Makefile
+++ b/matita/help/C/Makefile
@@ -8,6 +8,16 @@ TEX_XSL=matita-tex.xsl
 TEX_UNICODE_PATH=$(SRCROOT)/share/texmf/unicode
 TEX_ENV=TEXINPUTS=.:$(TEX_UNICODE_PATH):$(TEX_UNICODE_PATH)/data:
 MAIN=matita.xml
+DEPENDENCES = \
+       legal.xml \
+       sec_install.xml \
+       sec_gettingstarted.xml \
+       sec_intro.xml \
+       sec_terms.xml \
+       sec_tactics.xml \
+       sec_tacticals.xml \
+       sec_commands.xml \
+       sec_usernotation.xml
 
 # one of: "fop", "pdflatex"
 PDF_METHOD=pdflatex
@@ -32,7 +42,7 @@ test:
 
 .PHONY: html
 html: html-stamp
-html-stamp: $(MAIN)
+html-stamp: $(MAIN) $(DEPENDENCES)
        xsltproc $(XHTML_XSL) $<
        touch $@