opam-doc icon indicating copy to clipboard operation
opam-doc copied to clipboard

print non-breakable arrows

Open pw374 opened this issue 11 years ago • 1 comments

Print <nobr>-&gt;</nobr> instead of -&gt;.

pw374 avatar Sep 30 '13 15:09 pw374

Actually, while we're at it, all multi-character operators should be printed as non-breakable.

pw374 avatar Sep 30 '13 15:09 pw374