<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