1 files changed, 6 insertions, 9 deletions

diff --git a/scripts/docgen.lua b/scripts/docgen.lua
index 22abc294..38b4fa3c 100644
--- a/scripts/docgen.lua
+++ b/