#!/bin/sh

set -e

orig="${1%.pdf}_original.pdf"
mv --no-clobber "$1" "$orig"
ps2pdf "$orig" "$1"