diff --git a/sh/doc.awk b/sh/doc.awk index fcfc317..ad3360e 100644 --- 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 }