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
