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 ++----- head.html | 14 ++++++++++++++ 2 files changed, 16 insertions(+), 5 deletions(-) create mode 100644 head.html 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

') diff --git a/head.html b/head.html new file mode 100644 index 0000000..f0782e8 --- /dev/null +++ b/head.html @@ -0,0 +1,14 @@ + + + + +Rust features + + + + +

Rust features

+ +page generated by push-f +from the TOML files +maintained by jplatte -- cgit v1.2.3