Merge branch 't/web_fix'

diff --git a/web/documentation.in.html b/web/documentation.in.html
index 2789112a9657cc5d925d5faddab5234ad5813afc..4d63a08fb9721ff0d0f824eda66ac5e4fb0b49e5 100644 (file)
--- a/web/documentation.in.html
+++ b/web/documentation.in.html
@@ -4,7 +4,7 @@
 
 <h2> General information </h2>
 
-<p><ul>
+<ul>
        <li> <a href="overview.pdf">overview.pdf</a>,
 
                a pdf file containing a sketch which illustrates how
@@ -15,7 +15,7 @@
                Installation, Configuration and Usage.
        </li>
 
-</ul></p>
+</ul>
 
 <h2> Manual pages </h2>
 
@@ -34,11 +34,11 @@
 
 <h2> Source code documentation </h2>
 
-<p><ul>
+<ul>
 
        <li> <a href="doxygen/html/index.html">API
        Reference</a>. </li>
 
        <li> <a href="HTML/index.html">Browsable source</a>. </li>
 
-</ul></p>
+</ul>