X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fhelp%2FC%2FMakefile;h=fd0e3844f43d8302affa6c65cdd6baf6a0cd1900;hb=f20a7c0ed9571dd5a4c16cbbcfc8474947fcb71c;hp=a789086dc2de0a66ced99e0bd8b7198173e1f204;hpb=8d2887c7a3e452302bf976b6303c65c3a7f7961e;p=helm.git

diff --git a/matita/help/C/Makefile b/matita/help/C/Makefile
index a789086dc..fd0e3844f 100644
--- 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 $@