From 499ebc6efba13685dd9c326135a2718d0f79a516 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 10 Jun 2006 16:27:17 +0000
Subject: [PATCH] added deps, create target dir if missing

---
 helm/www/matita/Makefile | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

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
-- 
2.39.2