名前: 早坂勝 日時: 2002-03-19 00:29:46 IPアドレス: 61.123.11.*
いつもお世話様です。このページ,大変役に立っています。 今まで使えていたはずのPSfrag が急に使えなくなりました。 一度PSfrag によって(正しくはGhostscript ですが)できた pfi ファイルを消してDVI でプレビューすると,pfi ファイルが 生成されます。しかし,実際には「tmpi$.@@@」ができてしまい, うまく置換できなくなってしまいました。 前まではきちんと置換されていたはずなのに,どういうことなのでしょうか? 最近,DVIOUT を新しくしましたが,そのことと関係があるのでしょうか? ps ファイルに変換するときちんと置換されているのですが…。
この書き込みへの返事: