#! /bin/csh -f

# usage rename_ps2eps file1 [file2 file3 ...]
# rename multiple files from .ps to .eps

foreach file ($argv)
# get basename of file without .ps extension
	set psname = $file:r
	set psfile = $psname.ps
	set epsfile = $psname.eps
# convert to PNG
	mv $psfile $epsfile
end
