#!/bin/sh
#for f in *.ps.gz; do gunzip  "$f"; done
for f in *.ps; do ps2pdf "$f" "${f%.*}.pdf"; done