[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Doubts about a typo fix
From: |
Deri |
Subject: |
Re: Doubts about a typo fix |
Date: |
Sat, 26 Nov 2022 12:33:24 +0000 |
On Saturday, 26 November 2022 03:52:53 GMT G. Branden Robinson wrote:
> Some distributors do violence to the man.local file. But I am not a PDF
> expert; for this I'll have to turn as I often do to Deri James, who also
> wrote the gropdf output driver. Deri, what's a good way to root-cause
> the issue Paul describes?
Whenever there is a query about the "look" of a pdf it is important to rule
out any vagaries in the particular fonts used by the pdf viewer used, so
please repeat your tests adding "-P-e" to the command.
As regards the cut and paste of MINUS SIGN as a hyphen, this can be turned off
by including -P-u as well. Note this will also affect the treatment of
ligatures (ff/fi/ffi) in that cut and paste will not return them to their
individual characters. It also affects string searching within the pdf, the
troff input "\-b" would not be found by entering -b in the pdf viewer's search
widget. Tested on Branden's minus-and-hyphen.man, with -P-u it finds -baz,
without it finds both -bar and -baz.
Cheers
Deri
- Doubts about a typo fix, Alejandro Colomar, 2022/11/23
- Re: Doubts about a typo fix, G. Branden Robinson, 2022/11/23
- Re: Doubts about a typo fix, Paul Eggert, 2022/11/25
- Re: Doubts about a typo fix, G. Branden Robinson, 2022/11/25
- Re: Doubts about a typo fix,
Deri <=
- Re: Doubts about a typo fix, Paul Eggert, 2022/11/26
- Re: Doubts about a typo fix, G. Branden Robinson, 2022/11/26
- Re: Doubts about a typo fix, Deri, 2022/11/26
- Re: Doubts about a typo fix, Paul Eggert, 2022/11/26
- Re: Doubts about a typo fix, Steffen Nurpmeso, 2022/11/26
- Re: Doubts about a typo fix, G. Branden Robinson, 2022/11/26
- Re: [tz] Doubts about a typo fix, Russ Allbery, 2022/11/25
- Re: [tz] Doubts about a typo fix, Paul Eggert, 2022/11/25
- Re: [tz] Doubts about a typo fix, G. Branden Robinson, 2022/11/26
- Re: [tz] Doubts about a typo fix, G. Branden Robinson, 2022/11/26