pdf-fixups.sh

   1 #!/bin/bash
   2
   3 if [ $# -lt 1 ] ; then
   4   echo "This script needs the location of the fo file to update"
   5   exit 1
   6 fi
   7
   8
   9 FILE=$1
  10
  11 LINE=$( grep -n "DO NOT EDIT" $FILE | cut -f1 -d: )
  12 LINE=$(( LINE - 1 ))
  13
  14 # Not needed
  15 #sed -i -e "$LINE s/monospace/&\" font-size=\"9pt/" $FILE
  16