f/comments

2025-07-06 10:20:52 +02:00 · 2025-07-06 10:20:52 +02:00 · 58a0ca7c16
commit 58a0ca7c16
parent 030beb5ebe
1 changed files with 5 additions and 1 deletions
--- a/sh/main.awk
+++ b/sh/main.awk
@ -63,7 +63,11 @@ BEGIN {
        if (match($0, RE_SHEBANG, m)) {
            append("! " m[1])
        } else if (match($0, RE_DOC, m)) {
+            if (f) {
+                append($0)
+            } else {
                append(m[1])
+            }
        } else if (match($0, RE_ALIAS, m)) {
            append("= " m[1])
            if (m[1] == target) {