Skip to content

nix(docs): patch odoc-driver to fix source links, add sherlodoc www - #246

Open
katrinafyi wants to merge 3 commits into
mainfrom
odoc-source-fix
Open

nix(docs): patch odoc-driver to fix source links, add sherlodoc www#246
katrinafyi wants to merge 3 commits into
mainfrom
odoc-source-fix

Conversation

@katrinafyi

@katrinafyi katrinafyi commented Aug 21, 2026

Copy link
Copy Markdown
Member

this patches odoc to work towards fixing this issue: https://www.github.com/ocaml/odoc/issues/1475. blah is a test package which uses include_subdirs to check that the source linking works.

this is the bug in current docs where the "Source" link doesn't work https://uq-pac.github.io/bincaml/bincaml/bincaml.transforms/Transforms/index.html#module-Aslp
image

primarily, changes src for odoc-driver package and changes it to be a wrapped program with direct references to sherlodoc and odoc. this means that users of odoc-driver do not need to manually make sure that those are on their path and they all have compatible versions.

changes sherlodoc package to add a flag for enableWww which aims to bring back sherlodoc serve support for hosting a local version of https://doc.sherlocode.com/. this is there but not used yet, as it still needs a lot of work. a lot of things are hard-coded to ocaml.org.

Base automatically changed from nix3 to main August 25, 2026 04:59
primarily, changes src for `odoc-driver` package and changes it to be a
wrapped program with direct references to sherlodoc and odoc. this means
that users of `odoc-driver` do not need to manually make sure that those
are on their path and they all have compatible versions.

changes sherlodoc package to add a flag for `enableWww` which aims
to bring back `sherlodoc serve` support for hosting a local version of
https://doc.sherlocode.com/. this is there but not used yet, as it still
needs a lot of work. a lot of things are hard-coded to ocaml.org.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant