]> pere.pagekite.me Git - text-free-culture-lessig.git/commitdiff
Merge pull request #47 from marsgui/script11
authorpetterreinholdtsen <pere@hungry.com>
Fri, 8 Jan 2016 09:41:56 +0000 (10:41 +0100)
committerpetterreinholdtsen <pere@hungry.com>
Fri, 8 Jan 2016 09:41:56 +0000 (10:41 +0100)
Handle unicode thinspace (0x202F) used for (french) numbers.

data/dblatex-postprocess

index db08f14de2821193d4c11d96d459816e658acb37..61943c600798dc2803eb666c9481d8c64c1b7d0d 100755 (executable)
@@ -25,6 +25,7 @@ sed -i \
     -e 's/opphavsrettsvernetid/opp\\-havs\\-retts\\-verne\\-tid/g' \
     -e 's/opphavsrettighetsbeskyttet/opp\\-havs\\-ret\\-tig\\-hets\\-beskyt\\-tet/g' \
     -e 's/bestemmelsen/bestem\\-mel\\-sen/g' \
+    -e 's/ /\\thinspace/g' \
     $TEXFILE
 
 exit 0