aboutsummaryrefslogtreecommitdiff
path: root/devscripts
diff options
context:
space:
mode:
authorFilippo Valsorda <filippo.valsorda@gmail.com>2012-12-07 14:45:16 +0100
committerFilippo Valsorda <filippo.valsorda@gmail.com>2012-12-07 14:45:16 +0100
commit4bb028f48ecfcde1f4d2feafbc71fc8e346a7b99 (patch)
tree8af7b64827cf6f6a0747fdc9f4cf7060bae16838 /devscripts
parentfec89790b19d804eecb7318e5da64dbb1445c7f0 (diff)
devscripts/make_readme.py in place of all that sedding, that has porting problems
Diffstat (limited to 'devscripts')
-rw-r--r--devscripts/make_readme.py21
1 files changed, 21 insertions, 0 deletions
diff --git a/devscripts/make_readme.py b/devscripts/make_readme.py
new file mode 100644
index 000000000..57ff0456e
--- /dev/null
+++ b/devscripts/make_readme.py
@@ -0,0 +1,21 @@
+import sys
+import re
+
+helptext = sys.stdin.read()
+
+f = open('README.md')
+oldreadme = f.read()
+f.close()
+
+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'
+
+f = open('README.md', 'w')
+f.write(header)
+f.write(options)
+f.write(footer)
+f.close() \ No newline at end of file