diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/update-lua-docs.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/update-lua-docs.lua b/tools/update-lua-docs.lua index 7c5e86d17..746dce984 100644 --- a/tools/update-lua-docs.lua +++ b/tools/update-lua-docs.lua @@ -25,7 +25,9 @@ end function Header (el) if in_module_section then - if el.level == 1 then + if el.level == 1 or + -- special case for Module pandoc + (el.level == 2 and el.identifier == 'helper-functions') then in_module_section = false return el else |