From 4bb028f48ecfcde1f4d2feafbc71fc8e346a7b99 Mon Sep 17 00:00:00 2001 From: Filippo Valsorda Date: Fri, 7 Dec 2012 14:45:16 +0100 Subject: devscripts/make_readme.py in place of all that sedding, that has porting problems --- devscripts/make_readme.py | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 devscripts/make_readme.py (limited to 'devscripts/make_readme.py') 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 -- cgit v1.2.3