dvipngは便利だな。いつ出来たんだろうか。こんな便利なコマンドがあるなんて知らなかった。 Ghostscriptでppm画像に変換して、 cropして、背景色変更して、拡大して、色深度を変えて、やっとPNGファイル作成してなんてのを個別のコマンドでやってた頃は昔になりにけりだなぁ。