X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Fmatita%2Fdocumentation.shtml;h=c4fbeace66db26defd69238417af521e42e366e7;hb=51870ae9cdf98c4f58ebf223be4c85c40d49ec85;hp=0e8f63ae4f2613194344baafa9de544a70dc0901;hpb=9d356a6f202a77fb1dd67b57b1c86ac3ebe1382b;p=helm.git

diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index 0e8f63ae4..c4fbeace6 100644
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -1,6 +1,6 @@
-<!-- $Id$ -->
 <!--#include virtual="xhtml-header.shtml" -->
-<html>
+<!-- $Id$ -->
+<html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>Matita - Documentation</title>
     <!--#include virtual="xhtml-meta.shtml" -->
@@ -39,7 +39,7 @@
       <!--<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> <a href="docs/manual/html">Matita User Manual (XHTML format, multiple pages)</a>
 	</li>
       </ul>
 
