From a1005281fc2ce93d430716f530c717c8ad4278ef Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 13 Jun 2006 14:23:09 +0000 Subject: [PATCH] new path for XSLT sytlesheets --- helm/www/matita/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)/ -- 2.39.2