...

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

diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index e820186a3dffe38112311b8ad20260189904fc54..c4fbeace66db26defd69238417af521e42e366e7 100644 (file)
--- 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 2a35c2791ec972d200ea3b7d0a7d3acc6d5e2ff5..752e0b66b2091d90e1361b083e3e19bb0d5c6643 100644 (file)
--- 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>