From d5d6c9876da21e47bfb9d274648f27ea091ffa52 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 30 Dec 2017 10:46:08 -0800
Subject: [PATCH] Fixed small bug in README generation.

---
 README.md               |  2 --
 tools/update-readme.lua | 10 +++++-----
 2 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/README.md b/README.md
index f848be70c..8f6e73f7d 100644
--- a/README.md
+++ b/README.md
@@ -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