diff options
Diffstat (limited to 'tools/doc/html.js')
| -rw-r--r-- | tools/doc/html.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/doc/html.js b/tools/doc/html.js index 0ffedb1ecc9..0426198417a 100644 --- a/tools/doc/html.js +++ b/tools/doc/html.js @@ -56,7 +56,6 @@ function parseLists(input) { return; } if (state === 'AFTERHEADING') { - if (tok.type === 'code') return; if (tok.type === 'list_start') { state = 'LIST'; if (depth === 0) { |