config/gen_headers/convert_to_txt.sh

   1 #!/bin/sh
   2
   3 if [ $# -ne 1 ]; then
   4     echo "usage: $0 DST_DIR"
   5     exit 1
   6 fi
   7
   8 OUT_DIR=$1
   9
  10 cd ${OUT_DIR}
  11
  12 for i in *.pdf; do
  13     echo Converting $i
  14     pdftotext $i
  15 done
  16