[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [groff] hyphen, minus sign and hyphen-minus
From: |
Pali Rohár |
Subject: |
Re: [groff] hyphen, minus sign and hyphen-minus |
Date: |
Sat, 26 May 2018 13:16:42 +0200 |
User-agent: |
NeoMutt/20170113 (1.7.2) |
On Friday 25 May 2018 17:36:50 Deri James wrote:
> 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).
Yes, I already figured out that for man -Tpdf it is working. But man
-Tps and man -Tdvi does not work. And as I said "man -T dvi | dvipdfmx"
gives me better PDF output as man -Tpdf. So for reading I would really
prefer man -Tdvi.
--
Pali Rohár
address@hidden
- [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, 2018/05/25
- 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 <=
- 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
- Re: [groff] hyphen, minus sign and hyphen-minus, Pali Rohár, 2018/05/28
- Re: [groff] hyphen, minus sign and hyphen-minus, Pali Rohár, 2018/05/28
- Re: [groff] hyphen, minus sign and hyphen-minus, Mike Bianchi, 2018/05/28
- Re: [groff] hyphen, minus sign and hyphen-minus, Pali Rohár, 2018/05/28