pdfselect

   1 #!/bin/sh
   2
   3 [ "$1" -a "$2" -a "$3" ] || {
   4     echo "Usage: pdfselect <range> inputfile outputfile"
   5     exit 0
   6 }
   7
   8 texexec --pdfselect --selection="$1" --output=pdftex "$2" && mv texexec.pdf "$3"
   9 rm -f texexec.*