converter: change 'ps2pdf13' to 'ps2pdf'

ps2pdf by default produces the PDF 1.4 format. The PDF 1.3 format was
released in 2000. PDF 1.4 was released in 2001.  LyX specified 1.3 as
the output version in 2002 (c1541c22), perhaps because at the time
PDF 1.4 was only a year old so some viewers did not support it.

diff --git a/lib/configure.py b/lib/configure.py
index 2a6b80eecd306cc7d8aed01eb08c6ac5d1c4dde2..78983e38958e59f95ca9efc9fc41b56da1674a32 100644 (file)
--- a/lib/configure.py
+++ b/lib/configure.py
@@ -759,7 +759,7 @@ def checkConverterEntries():
     checkProg('a RTF -> HTML converter', ['unrtf --html  $$i > $$o'],
         rc_entry = [ r'\converter rtf      html        "%%"    ""' ])
     # Do not define a converter to pdf6, ps is a pure export format 
-    checkProg('a PS to PDF converter', ['ps2pdf13 $$i $$o'],
+    checkProg('a PS to PDF converter', ['ps2pdf $$i $$o'],
         rc_entry = [ r'\converter ps         pdf        "%%"   ""' ])
     #
     checkProg('a PS to TXT converter', ['pstotext $$i > $$o'],