X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita_homepage%2Fmatita.html;h=e661c3b012dd8954c6566f2fbcf46700a09aa8fa;hb=2f96ed63a40e2996bb4a249968e90fd0eef3f580;hp=0283ee7359f107f9c0d557b67e9e913eada97cc9;hpb=14279be7b66787c16e89e937e02fc6141b23a215;p=helm.git

diff --git a/helm/matita_homepage/matita.html b/helm/matita_homepage/matita.html
index 0283ee735..e661c3b01 100644
--- a/helm/matita_homepage/matita.html
+++ b/helm/matita_homepage/matita.html
@@ -50,13 +50,13 @@
 
     <dl id="matitaMap">
      <dt id="developers">1. Developers</dt>
-     <dd id="developersDef"><a href="developers"></a></dd>
+     <dd id="developersDef"><a href="developers.html"></a></dd>
      <dt id="documentation">2. Documentation</dt>
-     <dd id="documentationDef"><a href="documentation"></a></dd>
+     <dd id="documentationDef"><a href="documentation.html"></a></dd>
      <dt id="community">3. Community</dt>
-     <dd id="communityDef"><a href="community"></a></dd>
+     <dd id="communityDef"><a href="community.html"></a></dd>
      <dt id="download">4. Download</dt>
-     <dd id="downloadDef"><a href="download"></a></dd>
+     <dd id="downloadDef"><a href="download.html"></a></dd>
     </dl>
     <div>