From bfa42404e788025ee485d2cd83efe233a782df51 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sun, 9 Jul 2017 12:01:20 +0530 Subject: [PATCH] ... --- manual/custom.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/manual/custom.py b/manual/custom.py index 324176b7a1..9de4c4f60f 100644 --- a/manual/custom.py +++ b/manual/custom.py @@ -236,8 +236,7 @@ def render_options(cmd, groups, options_header=True, add_program=True, header_le def mark_options(raw): - if 'CALIBRE_BUILD_MAN_PAGES' not in os.environ: - raw = re.sub(r'(\s+)--(\s+)', ur'\1-\N{ZERO WIDTH SPACE}-\2', raw) + raw = re.sub(r'(\s+)--(\s+)', ur'\1``--``\2', raw) def sub(m): opt = m.group()