X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdownload.shtml;h=9bf1fa948c1d728a3a603ed17ee10cbb6822b4da;hb=c9ec21a836caca04ca23da5489598d5fca6d6b96;hp=30b26f672471952a05495ed720f14a1707386592;hpb=9e5aca768e23c9e0b555d3010c924264a1b920d0;p=helm.git

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 30b26f672..9bf1fa948 100644
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -19,6 +19,11 @@
     <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2F&amp;rev=0&amp;sc=0"><kbd>matita/</kbd></a>
     itself.
     </p>
+    <p>
+    Once you got the sources, have a look at the
+    <a href="install.html">installation instructions</a> on how to build and
+    install Matita from sources.
+    </p>
     <!--#include virtual="bottombar.shtml" -->
   </body>
 </html>