> tDB さん，みなさん，こん○○は(^^♪飯島です．
> 
> pszahyou 環境において filename1.ps というファイルが
> 作成されます．これを任意のファイル名にするオプションが
> あったような気がするのですが，samplePs.dvi および
> newPs*.dvi を見てみたのですがそのようなオプションの
> 存在を示した文章が見つかりませんでした

newPs07 に
EPSfilename=.. オプションがアナウンスされていました。
私は使用するまでに至ったことがありませんが
情報提供だけでご容赦下さい。

▼関連発言
│
└◆1882:pszahyou 環境の filename*.ps について [飯島　徹] 10/11 19:06
　├◆1883:Re:pszahyou 環境の filename*.ps について [田中徹] 10/11 20:02
　│└◆1885:Re[2]:pszahyou 環境の filename*.ps について [飯島　徹] 10/11 20:26
　└◆1884:Re:pszahyou 環境の filename*.ps について [tDB] 10/11 20:16
　　└◆1886:Re[2]:pszahyou 環境の filename*.ps について [飯島　徹] 10/11 20:35
　　　└◆1887:Re[3]:pszahyou 環境の filename*.ps について [飯島　徹] 10/11 21:50
　　　　└◆1888:Re[4]:pszahyou 環境の filename*.ps について [tDB] 10/11 22:20
　　　　　├◆1889:  訂正 [tDB] 10/11 22:26
　　　　　└◆1890:Re[5]:pszahyou 環境の filename*.ps について [飯島　徹] 10/11 22:32<-last