diff options
| author | Philipp Hagemeister <phihag@phihag.de> | 2014-05-13 11:16:11 +0200 |
|---|---|---|
| committer | Philipp Hagemeister <phihag@phihag.de> | 2014-05-13 11:16:11 +0200 |
| commit | d19bb9c0aa2e62446fa93cbb686ec8d50cb0c6b1 (patch) | |
| tree | 932ea8feb769d2b1da2c5fa457910248f695f740 /devscripts | |
| parent | 3ef79a974a002b118cbaeb537821815af0576ad9 (diff) | |
Split man and README (Fixes #2892)
Diffstat (limited to 'devscripts')
| -rwxr-xr-x | devscripts/make_readme.py | 2 |
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: |