#!/bin/sh
gs -dNOPAUSE -sDEVICE=pdfwrite -sOUTPUTFILE=penc_all.pdf -dBATCH \
penc_0.pdf penc_1.pdf penc_2.pdf penc_3.pdf penc_3b.pdf penc_4.pdf \
penc_5.pdf penc_6.pdf penc_7.pdf penc_8.pdf penc_9.pdf penc_10.pdf \
penc_11.pdf penc_12.pdf penc_13.pdf \