diff --git a/pdf-fixups.sh b/pdf-fixups.sh index 329a423d1..0efe57ccd 100755 --- a/pdf-fixups.sh +++ b/pdf-fixups.sh @@ -11,5 +11,6 @@ FILE=$1 LINE=$( grep -n "DO NOT EDIT" $FILE | cut -f1 -d: ) LINE=$(( LINE - 1 )) -sed -i -e "$LINE s/monospace/&\" font-size=\"9pt/" $FILE +# Not needed +#sed -i -e "$LINE s/monospace/&\" font-size=\"9pt/" $FILE