From a23193052609e07ce850716660f5db020164af9d Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 10 Jun 2006 17:06:26 +0000
Subject: [PATCH] added reference to the online version of the manual

---
 helm/www/matita/documentation.shtml | 31 +++++++++++++++++++++--------
 1 file changed, 23 insertions(+), 8 deletions(-)

diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index e0f6c053d..6586fc714 100644
--- 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>
-- 
2.39.2