From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 13 Jun 2006 14:23:09 +0000 (+0000)
Subject: new path for XSLT sytlesheets
X-Git-Tag: make_still_working~7200
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a1005281fc2ce93d430716f530c717c8ad4278ef;p=helm.git

new path for XSLT sytlesheets
---

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)/