X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdownload.shtml;h=752e0b66b2091d90e1361b083e3e19bb0d5c6643;hb=051283c78f4b8c6698468a1529e49309f305faf6;hp=2a35c2791ec972d200ea3b7d0a7d3acc6d5e2ff5;hpb=c17c73bcba0d18bb3f6ccf9fb3fad8c363652541;p=helm.git

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>