diff options
author | Martin Fischer <martin@push-f.com> | 2021-11-27 09:43:54 +0100 |
---|---|---|
committer | Martin Fischer <martin@push-f.com> | 2021-11-27 12:53:41 +0100 |
commit | 4ed1633b849a06e57d3dca781cfc9b08eb1d7854 (patch) | |
tree | 5c2eadd396b28a651fc620d8d91a269f146cd475 | |
parent | 49a32ffc906ac66b30bab56c450e8f9cb4f85866 (diff) |
html: add anchors for headings
-rwxr-xr-x | build.py | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -110,11 +110,11 @@ with open('target/index.html', 'w') as f: f.write(h.read()) # TODO: sort by T-lang and T-lib - f.write('<h2>Unstable features</h2>') + f.write('<h2 id=unstable>Unstable features</h2>') write_features(f, unstable_features) for version, data in reversed(list(versions.items())): - f.write('<h2>{}</h2>'.format(version)) + f.write('<h2 id={0}>{0}</h2>'.format(version)) if 'features' in data: write_features(f, data['features']) |