8ビットグレイスケール

16ビットのPGMをそのまま mogrify で PNG に変換すると無駄にサイズが大きくなってしまうので、以下のように、グレイスケールにして8ビット階調にすると良い。

 $ mogrify.exe -type GrayScale -depth 8 -format png *.pgm

なお、GIF (256色)に変換するとサイズはもっと小さくなるが、そのあとEPSに変換するとPNGでもGIFでも同じサイズ。まあ画像によるかも…