diff options
| author | Martin Fischer <martin@push-f.com> | 2021-11-27 09:07:31 +0100 |
|---|---|---|
| committer | Martin Fischer <martin@push-f.com> | 2021-11-27 12:39:54 +0100 |
| commit | 395a5f2a1e201ce65e02dbec89af275d14b27824 (patch) | |
| tree | 65c4b09b743ad40a4eec2823c1f6253030988ad4 /build.py | |
| parent | 6bf08656882fa4c3fc6fe799cc0499d244e6ca5f (diff) | |
html: add credits
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>') |