Use `-⁠` instead of `‑`

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 f4f8ca4fa7dfcfcbd4f354f5306afe3232cc40e2..1b84162de4b7d1d2bf8f3ca55fbb607cce2662cb 100755 (executable)
--- a/md2man
+++ b/md2man
@@ -339,9 +339,9 @@ def manify(txt):
 
 
 def htmlify(txt):
-    return re.sub(r'(\W)-', r'\1‑',
+    return re.sub(r'(^|\W)-', r'\1-⁠',
             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):