Yes, that was my plan. I will create a related issue in due course.
is there any special way to generate the table of contents ?
I have upgraded to odoc 1.4, build the documentation with
dune build @doc, but no toc is generated that I can see…
Also, would the toc be generated for the index.mld file too ?
Edit : Ok I found it out, you need to to put the sections in comments unassociated with any element.