#!/bin/csh -f

foreach file (`find . -name "*.*ps" -print`)

  set foo = `echo "$file" | sed 's/.*\///g' | sed 's/\..*//g'`

  \rm -f $foo".pdf"

  ps2pdf $foo".eps" $foo".pdf"

  echo "done: `echo $foo`.pdf"

end