From 395a5f2a1e201ce65e02dbec89af275d14b27824 Mon Sep 17 00:00:00 2001 From: Martin Fischer Date: Sat, 27 Nov 2021 09:07:31 +0100 Subject: html: add credits --- build.py | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'build.py') 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('') - f.write('') - f.write('Rust features') - f.write('

Rust features

') - f.write('') + with open('head.html') as h: + f.write(h.read()) # TODO: sort by T-lang and T-lib f.write('

Unstable features

') -- cgit v1.2.3