| 123456789101112131415161718 |
- #!/bin/bash
- if [ $# -lt 1 ] ; then
- echo "This script needs the location of the fo file to update"
- exit 1
- fi
- FILE=$1
- LINE=$( grep -n "DO NOT EDIT" $FILE | cut -f1 -d: )
- LINE=$(( LINE - 1 ))
- # Not needed
- #sed -i -e "$LINE s/monospace/&\" font-size=\"9pt/" $FILE
- # Break a block of code at the right place
- #sed -i -e 's@gcc --version@<fo:block page-break-before="always"></fo:block>&@' $FILE
|
