名前: SHIMA 日時: 2001-07-12 09:26:48 IPアドレス: 61.121.19.*
dvioutからの紙面の画像出力についての補足で、次の方法もあります。 5. WindowsのPrinter Driverを使ってファイル出力 PostScript Printer Driver や PDF Writer などを使う。 切り出す部分をdvioutであらかじめカットしておく（これは最新のテスト版では、 簡単にできる。そうでない場合も含めて、cf. DVIwareとしてのdviout） PDF Writerの場合は、Windows TrueTypeフォントを使い、フォントを埋め込むと、 スケール変換でも質の問題がない。
この書き込みへの返事：