Rfc_extensionSourceRFC extension for odoc.
Provides tags for linking to IETF RFCs:
@rfc 9110 - Link to RFC 9110@rfc 9110 Section 5.5 - Link to RFC 9110 Section 5.5@rfc 9110 section-5.5 - Link to RFC 9110 with anchorThe extension generates links to https://www.rfc-editor.org/rfc/rfcNNNN
CSS styles for RFC references
val parse_rfc_reference :
Odoc_extension_api.Comment.nestable_block_element
Odoc_extension_api.Location_.with_location
list ->
string * [> `Anchor of string | `Section of string ] optionParse RFC reference from tag content. Supports formats:
Generate URL for RFC reference
Generate display text for RFC reference
val to_document :
tag:'a ->
Odoc_extension_api.Comment.nestable_block_element
Odoc_extension_api.Location_.with_location
list ->
Odoc_extension_api.extension_outputDocument phase - generate RFC link