#!/bin/sh
NUM=${1:-07}
gs -sDEVICE=pdfwrite -dNOPAUSE -dBATCH -sOutputFile=th1-mrm2-ss12-${NUM}.pdf th1-ss12-${NUM}.pdf mrm2-ss12-${NUM}.pdf