うーん。なぜか知らないけど、PHPからconvert実行してps->pngをしようとするとcoredumpする。なぜだ・・・。直接コマンドを実行するとちゃんとできるんだけど。PHP詳しくないんで何が違うのかよく分かりませんが、とりあえずは手動で変換してしのぐことにしよう。
#!/bin/sh -x for base in `ls *.tex | sed 's/\.tex$//'`; do echo $base latex $base.tex dvips $base.dvi -o $base.ps convert -trim -transparent white -density 112x112 $base.ps $base.png done rm -f *.tex *.aux *.log *.dvi *.ps
こんなかんじ。