diff options
| -rwxr-xr-x | pdf-fixups.sh | 3 |
1 files changed, 2 insertions, 1 deletions
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 |