[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [groff] hyphen, minus sign and hyphen-minus
From: |
Deri James |
Subject: |
Re: [groff] hyphen, minus sign and hyphen-minus |
Date: |
Fri, 25 May 2018 17:36:50 +0100 |
User-agent: |
KMail/4.14.10 (Linux/4.4.114-desktop-1.mga5; KDE/4.14.35; x86_64; ; ) |
On Fri 25 May 2018 16:59:50 Pali Rohár wrote:
> Happens for: man -Tps and man -Tdvi
>
> And I think that the best readable output is by grodvi driver. So would
> really like to have working copy+paste from the dvi output (converted to
> PDF viewer).
man -Tpdf will produce what you want. The '\-' (minus) is used as the output
glyph, but any copy/paste (or searching within document) will use '-' (hyphen).
This is similar to the treatment of ligatures. If you look at the groff pdf
output of
the "find" man page you will see that "fi" has been replaced with a ligature in
the
output, but if you cut and paste the two characters “fi" are returned, and you
can search for "find".
You can see this here:-
<http://chuzzlewit.co.uk/WebManPDF.pl/man:/1/find>
- [groff] hyphen, minus sign and hyphen-minus, Pali Rohár, 2018/05/25
- Re: [groff] hyphen, minus sign and hyphen-minus, Ingo Schwarze, 2018/05/25
- Re: [groff] hyphen, minus sign and hyphen-minus, Pali Rohár, 2018/05/25
- Re: [groff] hyphen, minus sign and hyphen-minus,
Deri James <=
- Re: [groff] hyphen, minus sign and hyphen-minus, Ralph Corderoy, 2018/05/26
- Re: [groff] hyphen, minus sign and hyphen-minus, Pali Rohár, 2018/05/26
- Re: [groff] hyphen, minus sign and hyphen-minus, Deri James, 2018/05/26
- Re: [groff] hyphen, minus sign and hyphen-minus, Pali Rohár, 2018/05/26
- Re: [groff] hyphen, minus sign and hyphen-minus, Deri James, 2018/05/28
- Re: [groff] hyphen, minus sign and hyphen-minus, Ralph Corderoy, 2018/05/29
- Re: [groff] hyphen, minus sign and hyphen-minus, Ingo Schwarze, 2018/05/27
- Re: [groff] hyphen, minus sign and hyphen-minus, Pali Rohár, 2018/05/27
- Re: [groff] hyphen, minus sign and hyphen-minus, Ingo Schwarze, 2018/05/27
- Re: [groff] hyphen, minus sign and hyphen-minus, Pali Rohár, 2018/05/28