diff options
author | Martin Fischer <martin@push-f.com> | 2021-11-27 10:19:47 +0100 |
---|---|---|
committer | Martin Fischer <martin@push-f.com> | 2021-11-27 12:53:41 +0100 |
commit | b711ec5656008b1a7cdb2122e0564576aebcb05a (patch) | |
tree | 16954dcd59266cc7a12fb2f46ace5b34c81da487 | |
parent | d8c44b3157610df0d2989e1530ac1e997854f717 (diff) |
html: generate ids for lists
-rwxr-xr-x | build.py | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -85,8 +85,8 @@ with open('target/data.json', 'w') as f: json.dump(dict(unstable=unstable_features, versions=versions), f) -def write_features(f, features): - f.write('<ul') +def write_features(f, id, features): + f.write('<ul id={}-list'.format(id)) if len(features) > 5: f.write(' class=columns') f.write('>') @@ -109,7 +109,7 @@ with open('target/index.html', 'w') as f: # TODO: sort by T-lang and T-lib f.write('<h2 id=unstable>Unstable features</h2>') - write_features(f, unstable_features) + write_features(f, 'unstable', unstable_features) after_beta = False @@ -127,6 +127,6 @@ with open('target/index.html', 'w') as f: f.write(' [{}]'.format(channel)) f.write('</h2>') if 'features' in data: - write_features(f, data['features']) + write_features(f, version, data['features']) # TODO: generate HTML |