Fix make_readme on Python 2

diff --git a/devscripts/make_readme.py b/devscripts/make_readme.py
index a24b9b1d805d111d6c4c41c65a37e33736fe9ec0..cae1fa4f24fe0f190760e942666a379c47d041d7 100755 (executable)
--- a/devscripts/make_readme.py
+++ b/devscripts/make_readme.py
@@ -5,13 +5,16 @@ import re
 README_FILE = 'README.md'
 helptext = sys.stdin.read()
 
+if isinstance(helptext, bytes):
+    helptext = helptext.decode('utf-8')
+
 with io.open(README_FILE, encoding='utf-8') as f:
     oldreadme = f.read()
 
 header = oldreadme[:oldreadme.index('# OPTIONS')]
 footer = oldreadme[oldreadme.index('# CONFIGURATION'):]
 
-options = helptext[helptext.index('  General Options:')+19:]
+options = helptext[helptext.index('  General Options:') + 19:]
 options = re.sub(r'^  (\w.+)$', r'## \1', options, flags=re.M)
 options = '# OPTIONS\n' + options + '\n'