#!/bin/sh # Usage: # # pdfnumbers foo.pdf # # generates foo-numbers.pdf. name=`echo $1 | sed -e 's/\.pdf$//'` echo $name cwd=`pwd` cp $name.pdf /tmp/bad-$name.pdf cd /tmp texfile=$name-numbers.tex cat > $name-numbers.tex <