~/jendhub

def roff_ph

cli@0.2.0.0 · cli.bend:7389

import cli@0.2.0.0/cli.bend as Cli
import Base

7389# A placeholder's name in italics, from after its <.
7390def roff_ph(+s: String) -> String:
7391  +end = ph_end(s)
7392  String.concat([roff_text(String.take(s, end)), ">\\fR",
7393    roff_text(String.drop(s, (end + 1n : Nat)))])

Uses (9)

Used by (1)