sherlodoc icon indicating copy to clipboard operation
sherlodoc copied to clipboard

Published 20 hours ago • verified publisher icon art-w

Do not duplicate code from odoc

Open EmileTrotignon opened this issue 1 year ago • 0 comments

Currently, the code in jsoo/odoc_html_frontend.ml is duplicated from odoc. It has a slightly different type that allows for smaller js_of_ocaml executable size. We should remove this duplication once the optim are upstreamed in odoc : https://github.com/ocaml/odoc/pull/1072

EmileTrotignon avatar Feb 06 '24 10:02 EmileTrotignon