tools/intread.sh

   1 #!/bin/bash
   2
   3 if [ $# -lt 2 ]; then
   4         echo "Usage: $0 <pdf> <page>";
   5         exit 1;
   6 fi
   7
   8 pdf=$1
   9 page=$2
  10
  11 pdftotext -f $page -l $page -layout $pdf - | awk -f interrupts.awk
  12