commit d9489a887724bc0a012c7764e05039ec576c87e8 parent 2d55f1f6dd63d4c55e70b6acf08cfcc6d1fa1071 Author: Drew DeVault <sir@cmpwn.com> Date: Mon, 17 May 2021 14:58:44 -0400 gen-docs: fix namespace issues Diffstat:
| M | scripts/gen-docs | | | 4 | ++-- |
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/scripts/gen-docs b/scripts/gen-docs @@ -2,8 +2,8 @@ # Yes, I am entirely aware that this is a hack modules=$(awk ' /^modules="/ { sub(/.*=\"/, ""); print $1; mods = 1 } -/^[a-z][a-z0-9_]+$/ { if (mods == 1) { print $1 } } -/^[a-z][a-z0-9_]+"$/ { if (mods == 1) { mods = 0; sub(/"/, ""); print $1 } } +/^[a-z][a-z0-9:_]+$/ { if (mods == 1) { print $1 } } +/^[a-z][a-z0-9:_]+"$/ { if (mods == 1) { mods = 0; sub(/"/, ""); print $1 } } ' < scripts/gen-stdlib) mkdir -p docs/html/