#!/bin/csh
foreach file (`ls -1 *9*.ps` )
   echo "converting" $file
   ps2pdf $file
end
