2012-11-18 13:15:27 JST

20121118T041527Z

ついでに、dvipngを知る機会になったのが、pnmtopngのバグと思わしき挙動。

長いテキストの場合、1024バイトを越えた分が切り詰められてしまう。 pngcrushでも同じ症状がでたので、両者が共通で利用しているlibpngの問題だろうか。