From ffe428e0f50189f58014f3ff3a37d0b5f8e6dbc0 Mon Sep 17 00:00:00 2001 From: XeroOl Date: Tue, 3 Sep 2024 12:18:19 -0500 Subject: [PATCH] slightly modify the lua-manual tool --- tools/get-docs/lua-manual.fnl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/get-docs/lua-manual.fnl b/tools/get-docs/lua-manual.fnl index d5874b7..3fd84d9 100644 --- a/tools/get-docs/lua-manual.fnl +++ b/tools/get-docs/lua-manual.fnl @@ -52,6 +52,7 @@ (: :gsub "\"(.-)\"" "`\"%1\"`") (: :gsub "\'(.-)\'" "`\"%1\"`") (: :gsub "(.-)" "`%1`") + ;; supremum to unicode (: :gsub "x" "ˣ") (: :gsub "e" "ᵉ") (: :gsub "y" "ʸ") @@ -75,7 +76,7 @@ (: :gsub "" "")) ;; check to ensure that all the tags have been defeated tag (str:match "<[^>]+>[^>]+>")] - (when tag (error (.. tag "\n" str))) + (when tag (error (.. "unhandled tag:" tag "\n" str))) (-> str ;; trim whitespace (: :match "^%s*(.-)%s*$")