Re: dviから各種情報のみを抜き出すツールの存在?

名前: SHIMA
日時: 2008-07-29 08:53:24
IPアドレス: 116.81.240.*

>>51791 dvispc はdviファイルから全ての情報を引き出しますが,dvioutの配布 パッケージに含まれるchkfontは,フォント情報のみ引き出します.

この書き込みへの返事:

お名前
題名 
メッセージ(タグは <a href="...">...</a> だけ使えます。適宜改行を入れてください)