From bb787cc0cce83cbe978cf7d14f8ac16014238474 Mon Sep 17 00:00:00 2001 From: Marc Beninca Date: Sun, 6 Jul 2025 04:33:32 +0200 Subject: [PATCH] doc/alias --- sh/doc.awk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 }