diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-12-28 22:02:59 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-12-28 22:02:59 -0800 |
commit | 246e8f081a0cc78fe67160124df9f2e54cd652a3 (patch) | |
tree | fa5065b389f7d08b30266112d37e3e04e34bdc78 /tools/update-lua-docs.lua | |
parent | 108e429c8843992e892a8e129baa7152d5abc5f9 (diff) |
Update lua-filters.md and the tool that generates it.
Diffstat (limited to 'tools/update-lua-docs.lua')
-rw-r--r-- | tools/update-lua-docs.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/update-lua-docs.lua b/tools/update-lua-docs.lua index daa685269..7c5e86d17 100644 --- a/tools/update-lua-docs.lua +++ b/tools/update-lua-docs.lua @@ -36,7 +36,7 @@ function Header (el) return module_blocks{'data/pandoc.lua'} elseif el.identifier == "module-pandoc.list" then in_module_section = true - return module_blocks{'data/List.lua'} + return module_blocks{'data/pandoc.List.lua'} end end |