名前: tohma 日時: 2005-07-18 11:55:39 IPアドレス: 220.38.124.*
>>36927 ---------------------------------------------------- @echo off sed -f c:/script/2tex.sed %1 > %1.tmp move %1.tmp %1 platex %1 ---------------------------------------------------- とすれば同じ名前で dvi ファイルできると思いますが いかがでしょう?
この書き込みへの返事：