API docs: removed stray tags

Signed-off-by: Mavridis Philippe <mavridisf@gmail.com> (cherry picked from commit 7e378f09cc)
3 years ago · 7fd96bc613
parent e8860ba1a7
commit 7fd96bc613
2 changed files with 2 additions and 2 deletions
--- a/doc/common/header.html
+++ b/doc/common/header.html
@ -46,7 +46,7 @@
    </div>

    <div id="menu">
-</ul>    </div>
+    </div>
  </div>
 </div>
 <!-- End page header -->
--- a/doc/common/mainheader.html
+++ b/doc/common/mainheader.html
@ -45,7 +45,7 @@
    </div>

    <div id="menu">
-</ul>    </div>
+    </div>
  </div>
 </div>
 <!-- End page header -->