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(-)

(limited to 'build.py')

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