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 file changed
tree: 264555281a4bac6e4965c2677c7a57ad75761dc8
  1. ,xref.1.awk
  2. ,xref.5
  3. ,xref.py
  4. _strings.def
  5. _strings.sed
  6. posix.py