Juergen Spitzmueller wrote: > Georg Baum wrote: >> Yes, it would be safer. It should be done with all converters that >> support giving the output file name on the command line. See >> http://bugzilla.lyx.org/show_bug.cgi?id=2612 > > dvipdfm(x), however, does not. "dvipdfmx $$i $$o" results in an error > message.
"dvipdfm $$i -o $$o" should work according to the --help output. Georg
