diff options
Diffstat (limited to 'pdf-fixups.sh')
| -rwxr-xr-x | pdf-fixups.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pdf-fixups.sh b/pdf-fixups.sh index 0efe57ccd..239090141 100755 --- a/pdf-fixups.sh +++ b/pdf-fixups.sh @@ -14,3 +14,5 @@ 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 |