Changeset 02c702c for pdf-fixups.sh

Timestamp:

03/17/2022 02:30:05 PM (2 years ago)

Author:

Thomas Trepl (Moody) <thomas@…>

Branches:

multilib

Children:

85acfcb0

Parents:

d9bec1e (diff), 43149b9 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Automatic merge of trunk into multilib

File:

• pdf-fixups.sh (modified) (1 diff)

pdf-fixups.sh

@@ -14 +14 @@
 # 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