Cross package odoc page links

[dbuenzli]

Unless I'm missing something it's not possible to make cross-package odoc pages links. I tried with something like:

{{!Odig.page-manual.odoc_themes}odig's odoc theme}

to link from a package to odig's manual here but got the error:

Expected 'module-', 'module-type-', 'type-', 'class-', 'class-type-', or an unqualified reference.

It would be nice to abe able to.

[github-actions[bot]]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs.

[lukstafi]

Is it possible to have cross-package module links? I'm guessing they aren't possible neither.

[dbuenzli]

You can make links on the compilation units of other libraries and doc systems like odig or ocaml.org will resolve the links correctly.

[Julow]

The reference Odig.page-manual.odoc_themes means there's a page manual inside a module Odig. This is not possible.

The driver will probably create a page named odig (not capitalized) as the parent of the other pages and modules inside the package. Unfortunately it is not possible to write page-odig.page-manual as Odoc doesn't support references to children pages (page manual is a children of page odig).

Implementing this might imply prefixing page names (like Dune does to modules) or creating a new scheme for looking up pages (the search path passed through -I is not enough to disambiguate pages). Embedding the content of children pages into the parent page is not possible without rewriting the way page are compiled/linked.