Merge pull request #47 from marsgui/script11

[text-free-culture-lessig.git] / data / dblatex-postprocess

diff --git a/data/dblatex-postprocess b/data/dblatex-postprocess
index db08f14de2821193d4c11d96d459816e658acb37..61943c600798dc2803eb666c9481d8c64c1b7d0d 100755 (executable)
--- a/data/dblatex-postprocess
+++ b/data/dblatex-postprocess
@@ -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/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
     $TEXFILE
 
 exit 0