Spurious empty unordered list

[pinard]

Hi again.

I'm noticing this since I started using org-js a few days ago, so I guess I should explicitly report this nit, before I get fully used to it ! ☺

org-js seems to always generate a spurious empty unordered list in the HTML code it produces. To witness, given this input file:

#+TITLE: OK
Text

one gets:

<h1>OK</h1>
<ul></ul>

Text

François

[pinard]

Hi, Masafumi.

I would guess these spurious unordered lists are empty table of contents. Most likely, a table of contents should be omitted if there is no contents to show?

François.