aboutsummaryrefslogtreecommitdiff
path: root/devscripts
diff options
context:
space:
mode:
authorPhilipp Hagemeister <phihag@phihag.de>2014-05-13 11:16:11 +0200
committerPhilipp Hagemeister <phihag@phihag.de>2014-05-13 11:16:11 +0200
commitd19bb9c0aa2e62446fa93cbb686ec8d50cb0c6b1 (patch)
tree932ea8feb769d2b1da2c5fa457910248f695f740 /devscripts
parent3ef79a974a002b118cbaeb537821815af0576ad9 (diff)
Split man and README (Fixes #2892)
Diffstat (limited to 'devscripts')
-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: