diff --git a/manual/custom.py b/manual/custom.py index 9359e7d244..6086748710 100644 --- a/manual/custom.py +++ b/manual/custom.py @@ -233,7 +233,7 @@ def render_options(cmd, groups, options_header=True, add_program=True, header_le def mark_options(raw): - raw = re.sub(r'(\s+)--(\s+)', r'\1``--``\2', raw) + raw = re.sub(r'(\s+)--(\s+)', ur'\1-\u200b-\2', raw) def sub(m): opt = m.group()