append incrementing number to header id

savoir-vivre · Jun 30, 2015 · 990414e · Ypnose · Sep 2, 2015 · alexh-name
1 parent d071dcb
commit 990414e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ahrf.awk b/ahrf.awk
@@ -19,7 +19,7 @@ BEGIN { FS = "\n"; RS = "" }
 	gsub(/ +/,"-",anc)
 	# length($0) would also work
 	if (cnt <= 6 && $0 != "") {
-		printf("<h%d id=\"%s\">%s</h%d>\n", cnt, anc, $0, cnt)
+		printf("<h%d id=\"%s-%s\">%s</h%d>\n", cnt, anc, n_id++, $0, cnt)
 	}
 	next
 }