On 2016-01-07, Georg Baum wrote: >> On Wed, Jan 6, 2016 at 5:14 PM, Georg Baum
... > BTW, pdftops is better than pdf2ps according to > http://stefaanlippens.net/pdf2ps_vs_pdftops and also my own experience. To sum this up: Problem with pdf2ps: fonts are converted to bitmap fonts With pdftops [...], the conversion takes less time, the resulting file is smaller, and fonts are better preserved. If this is true, LyX configuration should choose "pdftops" if both tools are installed. However, on my system this seems not to be the case: * I have both, pdf2ps and pdftops (via package dependencies) * still, the LyX-determined converter for 2.2dev is pdf2ps $$i $$o Can someone confirm/refute this finding? Should I file a bug report? Thanks, Günter