Skip to content

Commit

Permalink
IR model: stop trying to play with word joiners (U+2060).
Browse files Browse the repository at this point in the history
It breaks cut and paste in the HTML renderer and other
renderers have to ignore it.

Closes #620.
  • Loading branch information
dbuenzli authored and jonludlam committed Mar 12, 2021
1 parent 3f59325 commit 9d7eb20
Show file tree
Hide file tree
Showing 3 changed files with 1 addition and 3 deletions.
2 changes: 1 addition & 1 deletion src/document/generator.ml
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ let make_name_from_path { Url.Path.name; parent; _ } =
let label t ppf =
match t with
| Odoc_model.Lang.TypeExpr.Label s -> O.pf ppf "%s" s
| Optional s -> O.pf ppf "?%t%s" (O.entity "#8288") s
| Optional s -> O.pf ppf "?%s" s

let tag tag t ppf = O.pf ppf "@{<%s>%t@}" tag t

Expand Down
1 change: 0 additions & 1 deletion src/latex/generator.ml
Original file line number Diff line number Diff line change
Expand Up @@ -111,7 +111,6 @@ let list kind pp ppf x =
let escape_entity = function
| "#45" -> "-"
| "gt" -> ">"
| "#8288" -> ""
| s -> s

let filter_map f x =
Expand Down
1 change: 0 additions & 1 deletion src/manpage/generator.ml
Original file line number Diff line number Diff line change
Expand Up @@ -260,7 +260,6 @@ let entity e =
match e with
| "#45" -> escaped "\\-"
| "gt" -> str ">"
| "#8288" -> noop
| s -> str "&%s;" s

(* Should hopefully make people notice and report *)
Expand Down

0 comments on commit 9d7eb20

Please sign in to comment.