名前: 野村 日時: 2001-08-31 17:02:28 IPアドレス: 150.84.42.* >>1963 少し前，NT上の DOS窓で同じ事を試しておりました． 以下のような BATファイルを使用していました． 参考になれば． platex foo.tex if errorlevel 1 goto error dvipsk -P dl foo.dvi if errorlevel 1 goto error gsview32 foo.ps :error
この書き込みへの返事：