Re: WinShellでDVIファイルが作成できない。

名前: SHIMA
日時: 2003-01-25 16:00:27
IPアドレス: 219.97.98.*

>>15608 話は少しそれますが、インストールチェックのバッチプログラムの冒頭は tex -v > testtex.txt となっています。 tex.exe が存在しなくてエラーになったときでも、testtex.txt のサイズ は 0 となると思っていたのですが、Windows の Version とかで異なるの でしょうか? if exist testtex.txt del testtex.txt を最初に入れておいた方が確実? ---- 15603 で同じ内容が 3 つもコピーされていたので... それとも、ここにコピーするときの操作ミス?

この書き込みへの返事:

お名前
題名 
メッセージ(タグは <a href="...">...</a> だけ使えます)