dvi→pdf変換ツール。
今までは日本語フォントや数式のフォントがビットマップで
埋め込まれてしまったりするという問題があって、いま一つだったが、
今日試してみたらそこらへんの問題は完全に解決していた。
これで高品質なpdfファイルが非常に手軽に作れる。
unstableなdvipdfmのdebパッケージにはすでにこのパッチが取り込まれ
ていて、
# apt-get install dvipdfm/unstable
するだけでよい。(ver.0.13.2c-7)
testingまでのdvipdfmではまだパッチが取り込まれていないようで、
日本語をきちんと処理できないので注意。
このサイトのレシピにあるpdfにはかなり驚いた。(^^;
次回の発表はacroreadでやってみよ。