#!/bin/sh

x=`basename $1 .ps`

gs -dNOPAUSE -DBATCH -sDEVICE=pdfwrite -sOutputFile=$x.pdf $1

