名前: 角藤 日時: 2004-01-29 21:08:20 IPアドレス: 61.22.251.*
p 295 に -jobname オプションが W32TeX の拡張と 書いてありますが、これはどの OS でも使えます。 通常は ptex -ini -jobname=formatname platex.ini のような場合にしか使いませんが、 platex -jobname=dviname source などとすると、source.tex から dviname.dvi ができます。 (もしかすると、ptex -help では表示されないかもしれませんが 使えます。)
この書き込みへの返事：