summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Fischer <martin@push-f.com>2021-11-27 09:43:54 +0100
committerMartin Fischer <martin@push-f.com>2021-11-27 12:53:41 +0100
commit4ed1633b849a06e57d3dca781cfc9b08eb1d7854 (patch)
tree5c2eadd396b28a651fc620d8d91a269f146cd475
parent49a32ffc906ac66b30bab56c450e8f9cb4f85866 (diff)
html: add anchors for headings
-rwxr-xr-xbuild.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/build.py b/build.py
index 4386aca..1cc8fa4 100755
--- a/build.py
+++ b/build.py
@@ -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'])