diff options
author | Philipp Hagemeister <phihag@phihag.de> | 2012-12-11 07:52:44 -0800 |
---|---|---|
committer | Philipp Hagemeister <phihag@phihag.de> | 2012-12-11 07:52:44 -0800 |
commit | d050de77f94a5dc9071c0b459ba62cb09c6696c4 (patch) | |
tree | 3bea4b6975544ef76241ccf402de541da350b4ac /devscripts/make_readme.py | |
parent | 4fb1acc212555e3e817f858dce964876eef75d85 (diff) | |
parent | 95eb771dcda47f948b050da85c7ff22539e3ee12 (diff) |
Merge pull request #580 from FiloSottile/master
The new shiny build system
Diffstat (limited to 'devscripts/make_readme.py')
-rw-r--r-- | devscripts/make_readme.py | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/devscripts/make_readme.py b/devscripts/make_readme.py new file mode 100644 index 000000000..7f2ea319c --- /dev/null +++ b/devscripts/make_readme.py @@ -0,0 +1,20 @@ +import sys +import re + +README_FILE = 'README.md' +helptext = sys.stdin.read() + +with open(README_FILE) as f: + oldreadme = f.read() + +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 = '# OPTIONS\n' + options + '\n' + +with open(README_FILE, 'w') as f: + f.write(header) + f.write(options) + f.write(footer) |