gs -dBATCH -q -dNOPAUSE -sDEVICE=pdfwrite -sOutputFile=$1.pdf $1.ps