commented sh files

2025-09-11 15:57:06 +02:00
parent 3702bc54a8
commit 0fe55ba06d
17 changed files with 483 additions and 190 deletions
--- a/src/sh/awk.sh
+++ b/src/sh/awk.sh
@@ -1,3 +1,5 @@
+# The code below is used together with `scripts/build.sh`to internalize the awk
+# scripts. See the awk sources for more information.
 if [ ! "${AWK_LOADED:-}" ]; then
  AWK_ARTISTS=$(
    cat <<'EOF'