]> git.plutz.net Git - cgilite/commitdiff
heading text in id
authorPaul Hänsch <paul@plutz.net>
Sun, 2 Jul 2023 18:48:11 +0000 (20:48 +0200)
committerPaul Hänsch <paul@plutz.net>
Sun, 2 Jul 2023 18:48:11 +0000 (20:48 +0200)
markdown.awk

index 16acc25d4b8548d2fa01c0bdfc74cde6a7d00f29..8ac8b6323dc20277efc35767f8d140a2afc17957 100755 (executable)
@@ -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];