#!/bin/sh pbibtex $1 platex $1.tex dvipdfmx $1.dvi if [ -n "$2" ]; then echo "page cutter" pdftk $1.pdf cat $2 output cat/$1.cat.pdf open cat/$1.cat.pdf else open $1.pdf fi