convert filename.gif filename.ps
For more information about convert, type "man convert" in a shell window.