doc/alias

2025-07-06 04:33:32 +02:00 · 2025-07-06 04:33:32 +02:00 · bb787cc0cc
commit bb787cc0cc
parent d367548c08
1 changed files with 1 additions and 1 deletions
--- a/sh/doc.awk
+++ b/sh/doc.awk
@ -44,7 +44,7 @@ BEGIN {
    } else if (match($0, RE_DOC, m)) {
        append(m[1])
    } else if (match($0, RE_ALIAS, m)) {
-        append(m[1])
+        append("alias: " m[1])
        if (m[1] == target) {
            alias = 1
        }