sherlodoc icon indicating copy to clipboard operation
sherlodoc copied to clipboard

Published 20 hours ago • verified publisher icon art-w

Enable sherlodoc on .odoc-index file for odoc 3 compat

Open EmileTrotignon opened this issue 8 months ago • 4 comments

This adds support for the future odoc 3, which include generating .odoc-index files for sherlodoc to consume instead of consuming .odocl files directly.

It works with the following odoc PR : https://github.com/ocaml/odoc/pull/1084

EmileTrotignon avatar Jun 10 '24 12:06 EmileTrotignon