> なあなあdviﾌｧｲﾙをpsに変換するのってどうするの？
> [youseishine@unko]%dviﾅﾝﾄｶ aaa.dvi だったと思うんだけんど・・・

dvi2ps

参考：2002/10/26(土)14時07分36秒