Guenter Milde wrote: > If this is true, LyX configuration should choose "pdftops" if both tools > are installed. > > However, on my system this seems not to be the case: > > * I have both, pdf2ps and pdftops (via package dependencies) > > * still, the LyX-determined converter for 2.2dev is > pdf2ps $$i $$o > > Can someone confirm/refute this finding?
Yes, the detection order in lib/configure.py is wrong. > Should I file a bug report? You couldd as well fix it directly in configure.py. Georg