jon.recoil.org
this repo has no description
odoc html: add mode_links field to Config.t
Optional base URI for linking mode and jkind names to external
documentation. When set, mode names become fragments appended to
the URI, e.g. 'local' links to URI#local.
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
+5
-1
odoc/src/html/config.ml
+5
-1
odoc/src/html/config.ml
···
15
as_json : bool;
16
shell : string option;
17
home_breadcrumb : string option;
18
}
19
20
let v ?(search_result = false) ?theme_uri ?support_uri ?(search_uris = [])
21
?(extra_css = []) ~semantic_uris ~indent ~flat ~open_details ~as_json ?shell
22
-
~remap ?home_breadcrumb () =
23
{
24
semantic_uris;
25
indent;
···
34
search_result;
35
remap;
36
home_breadcrumb;
37
}
38
39
let theme_uri config : Types.uri =
···
63
let remap config = config.remap
64
65
let home_breadcrumb config = config.home_breadcrumb
···
15
as_json : bool;
16
shell : string option;
17
home_breadcrumb : string option;
18
+
mode_links : string option;
19
}
20
21
let v ?(search_result = false) ?theme_uri ?support_uri ?(search_uris = [])
22
?(extra_css = []) ~semantic_uris ~indent ~flat ~open_details ~as_json ?shell
23
+
~remap ?home_breadcrumb ?mode_links () =
24
{
25
semantic_uris;
26
indent;
···
35
search_result;
36
remap;
37
home_breadcrumb;
38
+
mode_links;
39
}
40
41
let theme_uri config : Types.uri =
···
65
let remap config = config.remap
66
67
let home_breadcrumb config = config.home_breadcrumb
68
+
69
+
let mode_links config = config.mode_links
+3
odoc/src/html/config.mli
+3
odoc/src/html/config.mli
···
16
?shell:string ->
17
remap:(string * string) list ->
18
?home_breadcrumb:string ->
19
+
?mode_links:string ->
20
unit ->
21
t
22
(** [search_result] indicates whether this is a summary for a search result. In
···
47
val remap : t -> (string * string) list
48
49
val home_breadcrumb : t -> string option
50
+
51
+
val mode_links : t -> string option