From 1e91866f776d6e6324cf7240d12d1585c2734ba9 Mon Sep 17 00:00:00 2001 From: Philipp Hagemeister Date: Sun, 5 Jan 2014 04:39:23 +0100 Subject: [PATCH] Make make_readme run in a locale-less environment Mentioned in #267 --- devscripts/make_readme.py | 5 +++-- 1 file 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)