diff options
| -rw-r--r-- | README.md | 2 | ||||
| -rw-r--r-- | tools/update-readme.lua | 10 |
2 files changed, 5 insertions, 7 deletions
@@ -120,8 +120,6 @@ While conversions from pandoc’s Markdown to all formats aspire to be perfect, conversions from formats more expressive than pandoc’s Markdown can be expected to be lossy. -## Using `pandoc` - </div> ## Installing diff --git a/tools/update-readme.lua b/tools/update-readme.lua index 916b80881..4f77c59c2 100644 --- a/tools/update-readme.lua +++ b/tools/update-readme.lua @@ -14,6 +14,9 @@ function Div(elem) local mdoc = pandoc.read(manual, "markdown") local blocks = mdoc.blocks while blocks[i] do + if blocks[i].t == 'Header' then + include = false + end if include then table.insert(description, pandoc.walk_block(blocks[i], -- remove internal links @@ -23,12 +26,9 @@ function Div(elem) end end })) end - if blocks[i].t == 'Header' then - if blocks[i].identifier == 'description' then + if blocks[i].t == 'Header' and + blocks[i].identifier == 'description' then include = true - elseif include then - include = false - end end i = i + 1 end |