-log:
dvioutのエラーやWarningなどの情報を記録するログファイルのパス名を指定します(
Property Sheets
->
[System]
)。
単に
+
とすると、dviout.exe の存在するディレクトリに dviout.log というファイル名でログファイルが作成されます。一方、
-
とすると、ログファイルは作成されません。
メニューバー
からもこの設定は変更可能です。