Re: [Openvpn-devel] [PATCH] Remove useless dash escapes from the man-page

[Gert Doering]

Hi,

On Wed, Apr 29, 2015 at 08:33:02PM -0000, David Woodhouse wrote:
> > That would mean we either go into autoconf territory to test for groff
> > run-time behaviour, or we use a particular unique sequence and do our
> > own post-processing.
> 
> The latter is baaically the approach I took in
> http://git.infradead.org/users/dwmw2/openconnect.git/commitdiff/5f15c83f2

So you put "−" in the .8 file, which is converted to "-" for
HTML - but what happens for "man openconnect"?  Will groff understand
"−" and output a "proper U+002D HYPHEN-MINUS"?  (Not that it's
particular fun to edit such .8 files then...)

(There's a famous saying about "it would be much easier to teach them
all English" when it comes to internationalization, charsets, and all
that pain...)

gert

-- 
USENET is *not* the non-clickable part of WWW!
                                                           //www.muc.de/~gert/
Gert Doering - Munich, Germany                             g...@greenie.muc.de
fax: +49-89-35655025                        g...@net.informatik.tu-muenchen.de

pgp55fZTtonwU.pgp
Description: PGP signature