diff options
Diffstat (limited to 'tools/update-lua-module-docs.lua')
| -rw-r--r-- | tools/update-lua-module-docs.lua | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/update-lua-module-docs.lua b/tools/update-lua-module-docs.lua index a13ffdadc..3680c4640 100644 --- a/tools/update-lua-module-docs.lua +++ b/tools/update-lua-module-docs.lua @@ -264,6 +264,11 @@ local function render_type (name, level, modulename) end end + if name == 'Doc' then + local header_id = 'type-' .. nameprefix .. '.' .. name + return {Header(level, name, {header_id})} .. + Blocks{Para {"See the description ", Link("above", "#type-doc"), "."}} + end local header_id = 'type-' .. nameprefix .. '.' .. name known_types[name] = header_id return {Header(level, name, {header_id})} .. |