Make web pages conform to the HTML standard again.

Without this fix, the w3c validator complains about end tags for
element <p> which is not open. Removing both start and end tags makes
it happy again and causes no visible change, at least in one browser.

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>