...

[helm.git] / helm / www / matita / Makefile

diff --git a/helm/www/matita/Makefile b/helm/www/matita/Makefile
index 6eb6640994233d9602bfe6f07edb6bec13457408..4e33738d80d80f1d42793623b95554806d7441e3 100644 (file)
--- a/helm/www/matita/Makefile
+++ b/helm/www/matita/Makefile
@@ -27,7 +27,7 @@ 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)/
-       $(MAKE) -C $(DOCS_SRC_DIR) install DESTDIR=$(DOCS_DEST_DIR)/
+       $(MAKE) -C $(DOCS_SRC_DIR) install-html DESTDIR=$(DOCS_DEST_DIR)/
        touch $@
 
 .PHONY: library