jon.recoil.org

Module type Odoc_extension_api.Extension_with_linkSource

Extensions that also need link-time access to the cross-reference environment implement this extended signature.

include Odoc_extension_api.Extension
Sourceval prefix : string

The tag prefix this extension handles. E.g., "note" handles @note, "admonition" handles @admonition.note

Document phase: convert tag to renderable content. Called during document generation. Returns content plus any page-level resources needed (JS/CSS).

Link phase: transform tag content with access to the cross-reference environment. Called during linking, after references have been resolved. Use Env.lookup_page_by_name etc. to look up other pages.