名前: 角藤 日時: 2003-01-07 09:58:49 IPアドレス: 157.13.1.* >>14726 >dvips ではなくdvipsk を使用しているのですが dvipsk は w32 での名前で、オプションとして使える のは dvips だけです。dvipsk を使う場合も、 dvips を指定してください。 dvipsk は自分の名前を dvips だと思っています。
この書き込みへの返事：