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)
This commit is contained in:
Günter Milde 2016-01-09 15:51:25 +01:00
parent 7318c167b8
commit 9ff11a7935

View File

@ -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'],