[bug-gawk] Unicode hyphens in man pages

[Daniel Reimer]

Hey,

I'm not familiar with formatting standards for man page sources, but
when I use 'man awk' (awk is linked to gawk on my up-to-date arch
linux, I presume that the awk man page comes from gawk), I get unicode
hyphens or minus or whatever it is called ('−', code 8722) before some
options like '-F'.

This is very annoying since it makes it impossible to search for
options reliably (or at all, since I don't have unicode characters on
my keyboard). Is there any particular reason for this? A quick search
didn't find unicode hyphens in any other man page (there are none in
the gawk man page).

Regards