X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocumentation.shtml;h=e2b0f4e3f4a5cfbb2ab99fb66c3ba41716901f89;hb=62f814b9b8c255abbdfcbf12d96f3a3b4e74d477;hp=6586fc714150193964a8f6941020b06eae4f9e83;hpb=a23193052609e07ce850716660f5db020164af9d;p=helm.git

diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index 6586fc714..e2b0f4e3f 100644
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -10,7 +10,7 @@
     <div class="main">
       <h1>Matita Documentation</h1>
 
-      <h2>User Manual</h2>
+      <h2>User Manual<a name="manual"></a></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