From 6740c63217396e02160d534f325dae04630087b8 Mon Sep 17 00:00:00 2001 From: firedfox Date: Thu, 3 Mar 2016 16:18:09 +0800 Subject: [PATCH] doc: fix order of end tags of list after heading Current html result of a list after heading is
. Correct it to
. --- tools/doc/html.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/doc/html.js b/tools/doc/html.js index 8de9f49987c000..327c9f080e2bfe 100644 --- a/tools/doc/html.js +++ b/tools/doc/html.js @@ -159,11 +159,11 @@ function parseLists(input) { } if (tok.type === 'list_end') { depth--; + output.push(tok); if (depth === 0) { state = null; output.push({ type:'html', text: '' }); } - output.push(tok); return; } if (tok.text) {