tools/regsread.sh

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