名前: SHIMA 日時: 2002-04-04 01:29:37 IPアドレス: 218.217.7.* >>7735 ところで、*.ps (or *.eps) のタイムスタンプより、対応する *.pfi のタイムスタン プを古くしておくとどうなるでしょうか？ 1. もとの *.pfi がそのまま残る 2. *.pfi は削除される 3. *.pfi は書き換えられるが、中身がおかしい（このときの中身は？）
この書き込みへの返事：