commit 9ff11a7935604b80c19e1d233fb7f91795787969
Author: Günter Milde <[email protected]>
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'],
