#!/bin/bash

if [ $# -ne 1 ]; then
	echo "Provide an input filename"
	exit 1;
fi

# change into a PS file
$PSNAME=$1.ps

pdf2ps $1 $PSNAME
psresize -PA4 -pletter $PSNAME $PSNAME-letter.ps
ps2pdf $PSNAME-letter.ps