Winshellでファイルが更新される

名前: ppp
日時: 2003-12-04 00:26:32
IPアドレス: 133.30.116.*

Winshellをエディタとしても使用しており、Projectが使い良いので 気に入っているのですが、Texからdviに変換する(platex)際に、 includeされるファイルも全て保存されてしまうために、 恐ろしさを感じずにいられません。 更新のあったファイルを保存して実行するか?と聞いて欲しいのですが。。 何か良い対処方法がありませんでしょうか? Optionの.bakファイル生成も、気づかずに2回変換するとサヨナラ。うーん。 まあ、こまめにバックアップせよということでしょうか。

この書き込みへの返事:

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