aboutsummaryrefslogtreecommitdiff
path: root/devscripts
diff options
context:
space:
mode:
Diffstat (limited to 'devscripts')
-rw-r--r--devscripts/make_readme.py15
1 files changed, 7 insertions, 8 deletions
diff --git a/devscripts/make_readme.py b/devscripts/make_readme.py
index 57ff0456e..7f2ea319c 100644
--- a/devscripts/make_readme.py
+++ b/devscripts/make_readme.py
@@ -1,11 +1,11 @@
import sys
import re
+README_FILE = 'README.md'
helptext = sys.stdin.read()
-f = open('README.md')
-oldreadme = f.read()
-f.close()
+with open(README_FILE) as f:
+ oldreadme = f.read()
header = oldreadme[:oldreadme.index('# OPTIONS')]
footer = oldreadme[oldreadme.index('# CONFIGURATION'):]
@@ -14,8 +14,7 @@ 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
+with open(README_FILE, 'w') as f:
+ f.write(header)
+ f.write(options)
+ f.write(footer)