added deps, create target dir if missing

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