aboutsummaryrefslogtreecommitdiff
path: root/devscripts/make_readme.py
diff options
context:
space:
mode:
Diffstat (limited to 'devscripts/make_readme.py')
-rwxr-xr-xdevscripts/make_readme.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/devscripts/make_readme.py b/devscripts/make_readme.py
index cae1fa4f2..70fa942dd 100755
--- a/devscripts/make_readme.py
+++ b/devscripts/make_readme.py
@@ -15,7 +15,7 @@ header = oldreadme[:oldreadme.index('# OPTIONS')]
footer = oldreadme[oldreadme.index('# CONFIGURATION'):]
options = helptext[helptext.index(' General Options:') + 19:]
-options = re.sub(r'^ (\w.+)$', r'## \1', options, flags=re.M)
+options = re.sub(r'(?m)^ (\w.+)$', r'## \1', options)
options = '# OPTIONS\n' + options + '\n'
with io.open(README_FILE, 'w', encoding='utf-8') as f: