#!/bin/sh
DESTINATION=$1
shift
gs -dNOPAUSE -sDEVICE=pdfwrite -sOUTPUTFILE=$DESTINATION -dBATCH $@