diff --git a/sh/main.awk b/sh/main.awk index 49fbce5..d21bf86 100644 --- 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)) { - append(m[1]) + if (f) { + append($0) + } else { + append(m[1]) + } } else if (match($0, RE_ALIAS, m)) { append("= " m[1]) if (m[1] == target) {