Make make_readme run in a locale-less environment

Mentioned in #267

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)