jon.recoil.org

Module Doctree.LabelsSource

Sourceval disambiguate_page : enter_subpages:bool -> Odoc_document.Types.Page.t -> Odoc_document.Types.Page.t

Colliding labels are allowed in the model but don't make sense in generators because we need to link to everything (eg. the TOC). Post-process the doctree, add a "_N" suffix to dupplicates, the first occurence is unchanged. Iterate through subpages.