# A C shell script for converting ps files to gif files.
#
ps2gif $1.ps $1.gif
~