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