名前: しっぽ愛好家 日時: 2003-08-19 15:03:24 IPアドレス: 210.234.44.* >>21073 14938 からの一連の話を参照してください． 最終的(?)に，SHIMA さん（をはじめとする方々）が dvispc というツールを 作ってくださいました（dviout の充分に新しい配布には含まれています）． %%% dvispc -c filename.dvi %%% のように filename.dvi を処理すると，どうでしょうか．
この書き込みへの返事：