From 4ed1633b849a06e57d3dca781cfc9b08eb1d7854 Mon Sep 17 00:00:00 2001
From: Martin Fischer <martin@push-f.com>
Date: Sat, 27 Nov 2021 09:43:54 +0100
Subject: html: add anchors for headings
---
build.py | 4 ++--
1 file 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'])
--
cgit v1.2.3