From b4a3f6a471adcd2a1cb72f761c52b841e8bc297f Mon Sep 17 00:00:00 2001
From: =?utf8?q?Paul=20H=C3=A4nsch?= <paul@plutz.net>
Date: Sun, 2 Jul 2023 20:48:11 +0200
Subject: [PATCH] heading text in id

---
 markdown.awk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/markdown.awk b/markdown.awk
index 16acc25..8ac8b63 100755
--- a/markdown.awk
+++ b/markdown.awk
@@ -314,7 +314,7 @@ function headline( hlvl, htxt, LOCAL, sec, n, HL) {
   HL[hlvl]++; for ( n = hlvl + 1; n <= 6; n++) { HL[n] = 0;}
   hid = ""; for ( n = 2; n <= blvl; n++) { hid = hid BL[n] "/"; }
   hid = hid HL[1]; for ( n = 2; n <= hlvl; n++) { hid = hid "." HL[n] ; }
-  # hid = hid ":" URL(htxt, 1);
+  hid = hid ":" URL(htxt, 1);
 
   hstack = gensub( /^(.* )?([0-9]+( [0-9]+){5})$/, "\\1" ,"1", hstack) \
            HL[1] " " HL[2] " " HL[3] " " HL[4] " " HL[5] " " HL[6];
-- 
2.39.2