diff options
author | Martin Fischer <martin@push-f.com> | 2021-11-27 08:52:15 +0100 |
---|---|---|
committer | Martin Fischer <martin@push-f.com> | 2021-11-27 12:39:43 +0100 |
commit | 0da26e8bcd12592ffa61136fd922464fe34ba2e6 (patch) | |
tree | 36af480c59aab27119f29c8dd5de95b900668d42 | |
parent | 791893216a3cb043781195a4ce6c7fb3ad82539b (diff) |
html: sort features
-rwxr-xr-x | build.py | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -65,6 +65,9 @@ def write_features(f, feature_data): data['url'] = url data['filename'] = feat + if key in features: + data['title'] = data['flag'].replace('_', ' ') + if key in features and features[key]['url'] != url: print( 'different urls for feature {}:\n* {}: {}\n* {}: {}'.format( @@ -75,12 +78,13 @@ def write_features(f, feature_data): features[key]['url'], ) ) - data['title'] = data['flag'] features[key] = data + features = sorted(features.items(), key=lambda t: t[1]['title'].replace('`', '').lower()) + f.write('<ul>') - for feat, data in features.items(): + for feat, data in features: f.write('<li><a') url = data['url'] if url: |