Skip to content

Commit 40026bf

Browse files
Julowpanglesd
andcommitted
Rename and clarify 'pp_disambiguating_prefix'
Co-authored-by: Paul-Elliot <peada@free.fr>
1 parent 6fb5c47 commit 40026bf

File tree

5 files changed

+7
-6
lines changed

5 files changed

+7
-6
lines changed

src/document/url.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -115,7 +115,7 @@ module Path = struct
115115

116116
let pp_kind fmt kind = Format.fprintf fmt "%s" (string_of_kind kind)
117117

118-
let pp_kind_prefix_for_output fmt = function
118+
let pp_disambiguating_prefix fmt = function
119119
| `Module | `Page | `LeafPage | `File | `SourcePage -> ()
120120
| kind -> Format.fprintf fmt "%s-" (string_of_kind kind)
121121

src/document/url.mli

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -27,8 +27,9 @@ module Path : sig
2727

2828
val string_of_kind : kind -> string
2929

30-
val pp_kind_prefix_for_output : Format.formatter -> kind -> unit
31-
(** Print the ["kind-"] prefix used in output files. *)
30+
val pp_disambiguating_prefix : Format.formatter -> kind -> unit
31+
(** Print the ["kind-"] prefix used to disambiguate urls in "flat modes":
32+
e.g. latex labels and output files in [--flat] HTML and man output *)
3233

3334
type t = { kind : kind; parent : t option; name : string }
3435

src/html/link.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ module Path = struct
55
let for_printing url = List.map snd @@ Url.Path.to_list url
66

77
let segment_to_string (kind, name) =
8-
Format.asprintf "%a%s" Url.Path.pp_kind_prefix_for_output kind name
8+
Format.asprintf "%a%s" Url.Path.pp_disambiguating_prefix kind name
99

1010
let is_leaf_page url = url.Url.Path.kind = `LeafPage
1111

src/latex/generator.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ module Link = struct
1010
| None -> ()
1111
in
1212
Format.fprintf ppf "%a%a%s" pp_parent x.parent
13-
Url.Path.pp_kind_prefix_for_output x.kind x.name
13+
Url.Path.pp_disambiguating_prefix x.kind x.name
1414

1515
let page p = Format.asprintf "%a" flatten_path p
1616

src/manpage/link.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ open Odoc_document
33
let for_printing url = List.map snd @@ Url.Path.to_list url
44

55
let segment_to_string (kind, name) =
6-
Format.asprintf "%a%s" Url.Path.pp_kind_prefix_for_output kind name
6+
Format.asprintf "%a%s" Url.Path.pp_disambiguating_prefix kind name
77

88
let as_filename ?(add_ext = true) (url : Url.Path.t) =
99
let components = Url.Path.to_list url in

0 commit comments

Comments
 (0)