-<!-- $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" -->
<!--<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>