aboutsummaryrefslogtreecommitdiff
path: root/devscripts/make_readme.py
diff options
context:
space:
mode:
authorPhilipp Hagemeister <phihag@phihag.de>2014-01-05 04:39:23 +0100
committerPhilipp Hagemeister <phihag@phihag.de>2014-01-05 04:39:27 +0100
commit1e91866f776d6e6324cf7240d12d1585c2734ba9 (patch)
treef6232820134d687eac9cb558ef80f1e213732beb /devscripts/make_readme.py
parent9656ee5d1dbff9fb4e0ce640961d2750a687e629 (diff)
Make make_readme run in a locale-less environment
Mentioned in #267
Diffstat (limited to 'devscripts/make_readme.py')
-rwxr-xr-xdevscripts/make_readme.py5
1 files changed, 3 insertions, 2 deletions
diff --git a/devscripts/make_readme.py b/devscripts/make_readme.py
index 7f2ea319c..a24b9b1d8 100755
--- a/devscripts/make_readme.py
+++ b/devscripts/make_readme.py
@@ -1,10 +1,11 @@
+import io
import sys
import re
README_FILE = 'README.md'
helptext = sys.stdin.read()
-with open(README_FILE) as f:
+with io.open(README_FILE, encoding='utf-8') as f:
oldreadme = f.read()
header = oldreadme[:oldreadme.index('# OPTIONS')]
@@ -14,7 +15,7 @@ options = helptext[helptext.index(' General Options:')+19:]
options = re.sub(r'^ (\w.+)$', r'## \1', options, flags=re.M)
options = '# OPTIONS\n' + options + '\n'
-with open(README_FILE, 'w') as f:
+with io.open(README_FILE, 'w', encoding='utf-8') as f:
f.write(header)
f.write(options)
f.write(footer)