From: Wayne Davison <wayne@opencoder.net>
Date: Fri, 19 Jun 2020 05:52:47 +0000 (-0700)
Subject: Use `-&#8288;` instead of `&#8209;`
X-Git-Tag: v3.2.0~7
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e08f60037830ebad2ca1fefc12c4819d6499012d;p=thirdparty%2Frsync.git

Use `-&#8288;` instead of `&#8209;`

Using a non-breaking zero-width char after a dash makes the browser
avoiding breaking on that dash and also makes it match a dash in a
search.  This is better than a non-breaking dash char, which does not
match a dash in a search.
---

diff --git a/md2man b/md2man
index f4f8ca4f..1b84162d 100755
--- a/md2man
+++ b/md2man
@@ -339,9 +339,9 @@ def manify(txt):
 
 
 def htmlify(txt):
-    return re.sub(r'(\W)-', r'\1&#8209;',
+    return re.sub(r'(^|\W)-', r'\1-&#8288;',
             txt.replace('&', '&amp;').replace('<', '&lt;').replace('>', '&gt;').replace('"', '&quot;')
-            .replace('--', '&#8209;&#8209;').replace("\xa0-", '&nbsp;&#8209;').replace("\xa0", '&nbsp;'))
+            .replace("\xa0", '&nbsp;').replace('--', '\4\4')).replace('\4', '-&#8288;')
 
 
 def warn(*msg):