2008-12-11から1日間の記事一覧

dviout の graphics 設定

dviout で図を表示するとき、ghost script によって図の pbm ファイルや bmp ファイルがキャッシュとしてカレントディレクトリに生成される。このキャッシュファイルはとても邪魔だし論文で図を使いまわすときにも再度生成されるので無駄。そこで、専用のキ…