#!/bin/tcsh
foreach fred ( ../docps/*.ps )
   set nn = `basename $fred .ps`
   /bin/rm -f ${nn}.pdf
   echo $fred to ${nn}.pdf
   /usr/bin/ps2pdf $fred ${nn}.pdf
end