From bf351b8247da142213a5df3b0694a2c09584bceb Mon Sep 17 00:00:00 2001 From: Martin Fischer Date: Sat, 27 Nov 2021 08:37:19 +0100 Subject: html: merge features --- build.py | 43 ++++++++++++++++++++++++++++++++++++++----- 1 file changed, 38 insertions(+), 5 deletions(-) diff --git a/build.py b/build.py index 2fd4c26..50c6a36 100755 --- a/build.py +++ b/build.py @@ -35,18 +35,51 @@ with open('target/data.json', 'w') as f: json.dump(dict(unstable=unstable_features, versions=versions), f) -def write_features(f, features): - f.write('