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 3b88041d3c96713c2c29fa1f1624e6c38fb0d72c..0dcc4ce1058128edf25a6f0eb3e0565bb92b7b88 100644 (file)
--- 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'],