名前: SHIMA 日時: 2004-07-07 10:54:36 IPアドレス: 61.121.19.*
>>30154 > dvipsk で dvi file を ps file に変換する際に > dviprt='+dvipsk.exe -Pbi ^W -pp ^a-^b test.dvi > のようにページを指定するoption があると これは，dviout から dviprt パラメータを使って外部のプログラムを起動 するコマンドを書かれているのではないかと思います． そのようなことが何も書かれていないのが質問の仕方としておかしいし，当 然コマンドラインから実行して再度検証した後で，その結果の形で質問すべ きでしょう． また，dviprt パラメータを使った場合のみおかしいのならそのように書くべ きと思いますが．
この書き込みへの返事：