winshell2.0でdviからpsを作る際のpsファイル名

名前: かさい
日時: 2003-04-30 13:38:07
IPアドレス: 133.60.107.*

Windows XP上で Winshell Ver2.0 Program Calls の DVI PS の設定は, exe - File dvipsk cmd - Line -D 600 -P pdf %s です. TeXのソースファイル名は 「RedHat9.0をベースにRTLinux3.2-pre2を構築する.tex」 という長いものです. dviのファイル名は, 「RedHat9.0をベースにRTLinux3.2-pre2を構築する.dvi」 として作成されますが, psでのファイル名は, 「築する.ps」 となってしいます. 元のファイル名を継承してほしいのですが,どのように 設定すればよいでしょうか.

この書き込みへの返事:

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