2009-11-24 18:33:12 +00:00
|
|
|
#!/bin/bash
|
2009-11-24 18:22:00 +00:00
|
|
|
|
2021-09-07 22:10:29 +01:00
|
|
|
if [ $# -lt 1 ] ; then
|
2009-11-24 18:22:00 +00:00
|
|
|
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 ))
|
|
|
|
|
|
2011-06-21 00:08:09 +01:00
|
|
|
# Not needed
|
|
|
|
|
#sed -i -e "$LINE s/monospace/&\" font-size=\"9pt/" $FILE
|
2022-03-14 18:08:40 +00:00
|
|
|
sed -i -e "s/monospace/&\" font-size=\"9pt/g" $FILE
|
2009-11-24 18:22:00 +00:00
|
|
|
|
2015-10-12 22:20:03 +01:00
|
|
|
# Break a block of code at the right place
|
|
|
|
|
sed -i -e 's@gcc --version@<fo:block page-break-before="always"></fo:block>&@' $FILE
|
