From 375bd212e04283a955d1e4adfe81f650ba07e8e9 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 25 Nov 2008 19:21:01 +0000
Subject: [PATCH] ...

---
 helm/www/matita/Makefile            | 2 +-
 helm/www/matita/documentation.shtml | 2 +-
 helm/www/matita/download.shtml      | 3 ++-
 3 files changed, 4 insertions(+), 3 deletions(-)

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
diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index e820186a3..c4fbeace6 100644
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -39,7 +39,7 @@
       <!--<a href="http://www.w3.org/TR/xhtml1/">-->XHTML<!--</a>--> format:
       </p>
       <ul>
-	<li> <a href="docs/manual/">Matita User Manual (XHTML format, multiple pages)</a>
+	<li> <a href="docs/manual/html">Matita User Manual (XHTML format, multiple pages)</a>
 	</li>
       </ul>
 
diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 2a35c2791..752e0b66b 100644
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -29,7 +29,8 @@
         and boot you computer from the CD, or install a free emulator like <a
           href="http://virtualbox.org">virtualbox</a> and boot a virtual
         machine from the CD image. Virtualbox is available for Mac OS X,
-        Windows and Linux.<br/>
+        Windows and Linux. A short guide to VirtualBox is part of the 
+        <a href="docs/manual/html">Matita manual</a><br/>
         </dd>
 
         <dt>.deb package</dt>
-- 
2.39.2