diff options
Diffstat (limited to 'pdf-fixups.sh')
| -rwxr-xr-x | pdf-fixups.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pdf-fixups.sh b/pdf-fixups.sh index 44fe56370..d39d3f10f 100755 --- a/pdf-fixups.sh +++ b/pdf-fixups.sh @@ -13,6 +13,7 @@ LINE=$(( LINE - 1 )) # Not needed #sed -i -e "$LINE s/monospace/&\" font-size=\"9pt/" $FILE +sed -i -e "s/monospace/&\" font-size=\"9pt/g" $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 |