added reference to the online version of the manual

diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index e0f6c053d80f7173685b51d65a786a9890aa621a..6586fc714150193964a8f6941020b06eae4f9e83 100644 (file)
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -10,15 +10,30 @@
     <div class="main">
       <h1>Matita Documentation</h1>
 
-      <h2>User manual</h2>
-      <p>
-      We are working on the user manual of Matita. The current status is
-      available in our
-      <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2F&amp;sc=0">svn repository</a>
-      in the
-      <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2Fhelp%2FC%2F&amp;rev=0&amp;sc=0"><kbd>matita/help</kbd> directory</a>
-      (in <a href="http://www.oasis-open.org/docbook/">DocBook</a> format)
+      <h2>User Manual</h2>
+
+      <p> The Matita User Manual is accessible from Matita itself via the
+      <a href="http://developer.gnome.org/arch/doc/help.html">GNOME Help
+       System</a>, just hit <kbd>&lt;F1&gt;</kbd> while running Matita and it
+      will be shown to you. </p>
+
+      <p> Alternatively you can browse it in
+      <!--<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>
+      </ul>
+
+      <p> The source code of the user manual (in <a
+       href="http://www.oasis-open.org/docbook/">DocBook</a> format) is
+      available from our repository, in the
+      <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2Fhelp%2FC%2F&amp;rev=0&amp;sc=0">matita/help/C/</a> folder. </p>
+
+      <!--
+      <h2>Papers</h2>
+      <!+-#include virtual="papers.shtml" -+>
+      -->
 
       <!--#include virtual="bottombar.shtml" -->
     </div>