new path for XSLT sytlesheets

diff --git a/helm/www/matita/Makefile b/helm/www/matita/Makefile
index e61f930ca0d024ba5dfcc8e8abaf3ab35672488e..d3113045231698513783f614ab99af4fb45a5b9f 100644 (file)
--- 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)/