名前: SHIMA 日時: 2003-01-25 01:57:28 IPアドレス: 219.97.98.*
>>15575 ちょっと異なる対処方法ですが、応用が利く方法としては dvispc -at foo.dvi | grep -v " 'ps:SDict begin" | dvispc -x newfoo.dvi として、そのような specials を除いてしまうことも考えられます。 なお dvispc は最近作成したものなので、最新のテスト版 dviout のパッケージ に付属のものを用いてください。
この書き込みへの返事：