odoc icon indicating copy to clipboard operation
odoc copied to clipboard

Odoc renders table of content for manuals (.mld files)

Open sabine opened this issue 1 year ago • 0 comments

Since we eventually want to render the opam documentation using odoc, odoc should render manuals in such a way that the manual pages are discoverable in the UI.

This means that there must be a "table of contents" for the generated manual that allows people to discover the manual pages.

This is related to https://github.com/ocaml-doc/voodoo/issues/47 and has been identified as an issue that is most likely to be resolved here.

sabine avatar Aug 23 '23 12:08 sabine