X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2FMakefile;h=d3113045231698513783f614ab99af4fb45a5b9f;hb=a507a21ca97552dec5077667cf8433f24d7a45ae;hp=e61f930ca0d024ba5dfcc8e8abaf3ab35672488e;hpb=c50d613d8e878dc170f50020811630368c49eb97;p=helm.git

diff --git a/helm/www/matita/Makefile b/helm/www/matita/Makefile
index e61f930ca..d31130452 100644
--- a/helm/www/matita/Makefile
+++ b/helm/www/matita/Makefile
@@ -22,7 +22,7 @@ all:
 clean:
 
 manual: manual-stamp
-manual-stamp: $(DOCS_SRC_DIR)/*.xml $(DOCS_SRC_DIR)/*.xsl
+manual-stamp: $(DOCS_SRC_DIR)/*.xml $(DOCS_SRC_DIR)/xsl/*
 	$(MAKE) -C $(DOCS_SRC_DIR)/ html
 	rm -rf $(DOCS_DEST_DIR)/*
 	test -d $(DOCS_DEST_DIR)/ || mkdir -p $(DOCS_DEST_DIR)/