odoc icon indicating copy to clipboard operation
odoc copied to clipboard

Show packages and libraries in the breadcrumbs

Open Julow opened this issue 5 months ago • 3 comments

This is still work in progress as pages that are inside a library are not recognized and the library name might be inconsistent with the one passed to the link command.

This makes the breadcrumbs more readable by removing uninterested components and make the beginning of the module path more recognizable. The `Library constructor is added to identifiers to propagate this information.

Julow avatar Aug 26 '24 12:08 Julow