Regenerate docs

2026-04-17 13:33:41 -05:00 · 2024-10-28 09:30:13 -07:00
parent 8ea86f18f4
commit a50fc4875a
4 changed files with 182 additions and 63 deletions
--- a/docs/code-prettify/run_prettify.js
+++ b/docs/code-prettify/run_prettify.js
@@ -427,9 +427,11 @@ var IN_GLOBAL_SCOPE = false;
          "do," +
          "drop," +
          "else," +
-          "enter" +
+          "enter," +
+          "entry," +
          "enum," +
          "event," +
+          "exit," +
          "fatal," +
          "format," +
          "get," +
@@ -477,6 +479,7 @@ var IN_GLOBAL_SCOPE = false;
          "serial," +
          "set," +
          "severity," +
+          "signal," +
          "size," +
          "stack," +
          "state," +