Plamo で eqn2gif を動かす

24 時間起動の Linux PCを導入したので, 今までLandisk で動かしていた eqn2gif を PC で動かすことにしてみました.

んが, 上手く動きません. CGI のみならずコマンドラインから eqn2gif 単体で動かしてもダメでした.

原因を調査したところ, どうも ps2imgでは, "dvips hoge.dvi" という入力に対し, 自動的に hoge.ps が出来ることを期待されているのに対し, plamo 付属の dvips は標準出力に出てしまうことが理由のようでした.

ってわけで, psimglib.pl に書かれていた

$cmd="(cd $tmpdir; $CMD_platex $temp; $CMD_dvips $temp".".dvi; $CMD_ps2epsi $temp".".ps)";

$cmd="(cd $tmpdir; $CMD_platex $temp; $CMD_dvips -o $temp".".ps $temp".".dvi; $CMD_ps2epsi $temp".".ps)";