summaryrefslogtreecommitdiff
path: root/build.py
diff options
context:
space:
mode:
Diffstat (limited to 'build.py')
-rwxr-xr-xbuild.py7
1 files changed, 2 insertions, 5 deletions
diff --git a/build.py b/build.py
index 277ea1d..1dba1fb 100755
--- a/build.py
+++ b/build.py
@@ -102,11 +102,8 @@ def write_features(f, feature_data):
with open('target/index.html', 'w') as f:
- f.write('<!doctype html>')
- f.write('<meta charset=utf-8>')
- f.write('<title>Rust features</title>')
- f.write('<h1>Rust features</h1>')
- f.write('<link rel="stylesheet" href="style.css" />')
+ with open('head.html') as h:
+ f.write(h.read())
# TODO: sort by T-lang and T-lib
f.write('<h2>Unstable features</h2>')