#!/bin/sh
set -eu
set -o pipefail

out="$1"
shift
gs -q -sPAPERSIZE=letter -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sOutputFile="$out" "$@"