Converti ps to gif

/user/gruppo_1/zito/WWW/php/temp.err"); exec("/user/local/bin/gs -q -g142x142 -sDEVICE=ppm -sOutputFile=/user/gruppo_1/zito/WWW/php/sala15.ppm -dNOPAUSE /user/gruppo_1/zito/WWW/dagal/temp/sala15.ps quit.ps"); exec(" /user/local/bin/ppmtogif -interlace /user/gruppo_1/zito/WWW/php/sala15.ppm > /user/gruppo_1/zito/WWW/php/sala15.gif"); ?>