#!/bin/sh

for PSFILE in *.ps
do
    PDFFILE="`basename $PSFILE .ps`.pdf"
    echo converting $PSFILE ...
    ps2pdf $PSFILE $PDFFILE
done