X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2FMakefile;h=4e33738d80d80f1d42793623b95554806d7441e3;hb=f53bbf14695f988b16d028a3ffb347b4d080a3f4;hp=6eb6640994233d9602bfe6f07edb6bec13457408;hpb=f08e376eb0b370f92900182d3a5867a5b8c0cf7b;p=helm.git

diff --git a/helm/www/matita/Makefile b/helm/www/matita/Makefile
index 6eb664099..4e33738d8 100644
--- 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