名前: 早坂勝 日時: 2002-04-04 19:08:16 IPアドレス: 61.123.18.*
> ところで、*.ps (or *.eps) のタイムスタンプより、対応する *.pfi のタイムスタン > プを古くしておくとどうなるでしょうか？ > > 1. もとの *.pfi がそのまま残る > 2. *.pfi は削除される > 3. *.pfi は書き換えられるが、中身がおかしい（このときの中身は？） これはps(eps) ファイルの作成日がｐｆｉ ファイルの作成日より新しい ということでしょうか？それとも「更新日」で」しょうか？ どちらにしても 「1. もとのpfi ファイルが残る」という結果になりました。
この書き込みへの返事：