aboutsummaryrefslogtreecommitdiff
path: root/devscripts/make_readme.py
diff options
context:
space:
mode:
authorPhilipp Hagemeister <phihag@phihag.de>2012-12-11 07:52:44 -0800
committerPhilipp Hagemeister <phihag@phihag.de>2012-12-11 07:52:44 -0800
commitd050de77f94a5dc9071c0b459ba62cb09c6696c4 (patch)
tree3bea4b6975544ef76241ccf402de541da350b4ac /devscripts/make_readme.py
parent4fb1acc212555e3e817f858dce964876eef75d85 (diff)
parent95eb771dcda47f948b050da85c7ff22539e3ee12 (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.py20
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)