From b859f0facea46f044069de9a16acc05c30457945 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jes=C3=BAs?= Date: Mon, 18 Oct 2021 10:55:13 -0500 Subject: fix make readme --- devscripts/make_readme.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'devscripts') diff --git a/devscripts/make_readme.py b/devscripts/make_readme.py index 3f56af744..47d6d27b7 100755 --- a/devscripts/make_readme.py +++ b/devscripts/make_readme.py @@ -18,12 +18,12 @@ if isinstance(helptext, bytes): with io.open(README_FILE, encoding='utf-8') as f: oldreadme = f.read() -header = oldreadme[:oldreadme.index('## General Options:')] +header = oldreadme[:oldreadme.index('# OPTIONS')] footer = oldreadme[oldreadme.index('# CONFIGURATION'):] -options = helptext[helptext.index(' General Options:'):] +options = helptext[helptext.index(' General Options:') + 19:] options = re.sub(r'(?m)^ (\w.+)$', r'## \1', options) -options = options + '\n' +options = '# OPTIONS\n' + options + '\n' with io.open(README_FILE, 'w', encoding='utf-8') as f: f.write(header) -- cgit v1.2.3