Update lua-filters.md and the tool that generates it.

2026-08-24 17:26:32 +00:00 · 2017-12-28 22:02:59 -08:00
parent 108e429c88
commit 246e8f081a
2 changed files with 106 additions and 180 deletions
@@ -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