tDB さん，みなさん，こん○○は(^^♪飯島です．

pszahyou 環境において filename1.ps というファイルが
作成されます．これを任意のファイル名にするオプションが
あったような気がするのですが，samplePs.dvi および
newPs*.dvi を見てみたのですがそのようなオプションの
存在を示した文章が見つかりませんでした(^^ゞ
もしかして私の思い違いでしょうか？
ご教授よろしくお願いします<(_ _)> > みなさま
# 最初からそのようなオプションが無い!?
# 飯島は起きながらにして夢を見ていたのか.....(^O^)

また，もしこのようなオプションを作って欲しいと
要望をした場合可能でしょうか？ > tDB さん

▼関連発言
│
└◆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