commit 9ff11a7935604b80c19e1d233fb7f91795787969 Author: Günter Milde <mi...@lyx.org> Date: Sat Jan 9 15:51:25 2016 +0100
Swap preference of PDF->Postscript converters. According to http://stefaanlippens.net/pdf2ps_vs_pdftops pdftops is better than pdf2ps (which transforms fonts into bitmaps which results in larger files, non scalability and longer conversion times). (tip by Georg Baum, http://permalink.gmane.org/gmane.editors.lyx.general/85973) diff --git a/lib/configure.py b/lib/configure.py index 3b88041..0dcc4ce 100644 --- a/lib/configure.py +++ b/lib/configure.py @@ -904,7 +904,7 @@ def checkConverterEntries(): checkProg('a PS to EPS converter', ['ps2eps -- < $$i > $$o'], rc_entry = [ r'\converter eps2 eps "%%" ""' ]) # - checkProg('a PDF to PS converter', ['pdf2ps $$i $$o', 'pdftops $$i $$o'], + checkProg('a PDF to PS converter', ['pdftops $$i $$o', 'pdf2ps $$i $$o'], rc_entry = [ r'\converter pdf ps "%%" ""' ]) # Only define a converter from pdf6 for graphics checkProg('a PDF to EPS converter', ['pdftops -eps -f 1 -l 1 $$i $$o'],