On Sat 26 May 2018 13:16:42 Pali Rohár wrote: > 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
Hi Pali, Have you tried passing -P-e on the command line when using -T pdf? One difference is that dvipdfmx always embeds the fonts, whereas gropdf does not automatically embed the base 14 type 1 fonts, so it is then up to the pdf viewer to select the actual font it uses. On my system it seems to use LiberationSerif for Times Roman. If you include the flag the ghostscript Times Roman font will be embedded. You may even be able to use the flag -P-yU on the command line, which instead will embed the URW versions of the fonts. Finally, you might install the tex Computer Modern fonts for gropdf to use in place of the currently installed fonts. One of these stratagems may be as good as the dvi route. Cheers Deri