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