Re: texi2dvi: --dvipdf and --ps

[Karl Berry]

            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