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>

Reply via email to