diff options
Diffstat (limited to 'devscripts/make_readme.py')
| -rwxr-xr-x | devscripts/make_readme.py | 10 | 
1 files changed, 7 insertions, 3 deletions
| diff --git a/devscripts/make_readme.py b/devscripts/make_readme.py index 7f2ea319c..cae1fa4f2 100755 --- a/devscripts/make_readme.py +++ b/devscripts/make_readme.py @@ -1,20 +1,24 @@ +import io  import sys  import re  README_FILE = 'README.md'  helptext = sys.stdin.read() -with open(README_FILE) as f: +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' -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) | 
