posix.py: Convert "\(mi" to "\-"

The POSIX source uses a mixture of "-" and "\(mi" for minus signs.
Formerly (2013 edition), only (or mainly) "\(mi" was used. But this has
the problem that cut and pasting code/command snippets from a page
rendered on a terminal gived the wrong glyph (not an ASCII MINUS).
Subsequently, POSIX has switched to the use of "-" in code examples
and other contexts where cut-and-paste might be used. However, many
other instances of hyphens (in descriptive text) still use "\(mi",
which renders differently in a terminal. Instead, let's use "\-"
to get an ASCII minus. This doesn't render quite right in a PDF
(since "-" and "\-" produce different glyphs), but the assumption
is that people won't be rendering the POSIX pages as PDFs, since,
after all, the standard is itself available in PDF form.

Signed-off-by: Michael Kerrisk (man-pages) <mtk.manpages@gmail.com>

1 files changed, 1 insertions, 0 deletions

diff --git a/posix.py b/posix.py
index d1b1fac..e3b77dd 100755
--- a/posix.py
+++ b/posix.py
@@ -101,6 +101,7 @@ repl = {"\\f1":"\\fR",
         "\\*(z?":"",
         ".TS H":".TS",
         "\\(*D":" ",
+        "\\(mi":"\-",
         ".B ":".BR ",
         ".I ":".IR ",
         '" "$':"$"}