diff options
Diffstat (limited to 'build.py')
-rwxr-xr-x | build.py | 7 |
1 files changed, 2 insertions, 5 deletions
@@ -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>') |