The attached patch adds some converters that are needed when you try to view a
document with pdf image as ps (bug 3968).
I'll commit to branch and trunk if no one shouts.
Jürgen
Index: lib/configure.py
===================================================================
--- lib/configure.py (Revision 23218)
+++ lib/configure.py (Arbeitskopie)
@@ -397,6 +397,15 @@
checkProg('a PS to TXT converter', ['ps2ascii $$i $$o'],
rc_entry = [ r'\converter ps text3 "%%" ""' ])
#
+ checkProg('a PS to EPS converter', ['ps2eps $$i'],
+ rc_entry = [ r'\converter ps eps "%%" ""' ])
+ #
+ checkProg('a PDF to PS converter', ['pdf2ps $$i $$o', 'pdftops $$i $$o'],
+ rc_entry = [ r'\converter pdf ps "%%" ""' ])
+ #
+ checkProg('a PDF to EPS converter', ['pdftops -eps $$i $$o'],
+ rc_entry = [ r'\converter pdf eps "%%" ""' ])
+ #
checkProg('a DVI to TXT converter', ['catdvi $$i > $$o'],
rc_entry = [ r'\converter dvi text4 "%%" ""' ])
#
