Move all awk functions to separate files

2026-03-07 19:42:37 +01:00
parent 3258616282
commit f580ed9cab
17 changed files with 838 additions and 777 deletions
--- a/awk/indented_code.awk
+++ b/awk/indented_code.awk
@@ -0,0 +1,9 @@
+BEGIN { in_code = 0 }
+/^	|    / {
+    if (!in_code) { print "<pre><code>"; in_code = 1 }
+    sub(/^	|    /, "", $0)
+    gsub(/&/, "&amp;"); gsub(/</, "&lt;"); gsub(/>/, "&gt;")
+    print; next
+}
+{ if (in_code) { print "</code></pre>"; in_code = 0 } print }
+END { if (in_code) print "</code></pre>" }