From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 10 Jun 2006 16:27:17 +0000 (+0000)
Subject: added deps, create target dir if missing
X-Git-Tag: make_still_working~7220
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=499ebc6efba13685dd9c326135a2718d0f79a516;p=helm.git

added deps, create target dir if missing
---

diff --git a/helm/www/matita/Makefile b/helm/www/matita/Makefile
index 2cb06a5ab..b0a56d902 100644
--- a/helm/www/matita/Makefile
+++ b/helm/www/matita/Makefile
@@ -1,4 +1,5 @@
 
+# should be a checked out version of sofware/matita/help/C/ (or a symlink to it)
 DOCS_SRC_DIR = docs-src
 DOCS_DEST_DIR = docs/manual
 
@@ -20,10 +21,11 @@ all:
 clean:
 
 manual: manual-stamp
-manual-stamp: $(DOCS_SRC_DIR)/*.xml
+manual-stamp: $(DOCS_SRC_DIR)/*.xml $(DOCS_SRC_DIR)/*.xsl
 	$(MAKE) -C $(DOCS_SRC_DIR)/ html
-	test -d $(DOCS_DEST_DIR)/ || mkdir -p $(DOCS_SRC_DIR)/
-	cp $(DOCS_SRC_DIR)/*.html $(DOCS_DEST_DIR)/
+	rm -rf $(DOCS_DEST_DIR)/*
+	test -d $(DOCS_DEST_DIR)/ || mkdir -p $(DOCS_DEST_DIR)/
+	cp $(DOCS_SRC_DIR)/*.html $(DOCS_SRC_DIR)/*.css $(DOCS_DEST_DIR)/
 	touch $@
 
 .PHONY: images