Support dvips and dvipdf for sake of pstricks, and to dvipdf is a tiny wrapper that calls dvips | gs. That's fine, but the user should have the option of specifying other dvi-to-pdf translators. In particular, dvipdfmx is the native translator currently being maintained, and is a superset of dvi2pdf and dvipdfm, among others.
In the patch, it looked like the command names and options were hardwired. Can you change things so that they can be overridden? Thanks, Karl _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
