diff options
| -rwxr-xr-x | devscripts/make_readme.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/devscripts/make_readme.py b/devscripts/make_readme.py index a24b9b1d8..cae1fa4f2 100755 --- 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' |