diff options
author | isaacs <i@izs.me> | 2012-03-04 10:58:29 +0400 |
---|---|---|
committer | isaacs <i@izs.me> | 2012-03-04 10:58:29 +0400 |
commit | f1742c93d7fac20112b7fa60f9b93bfc680b913a (patch) | |
tree | 7c9862eb8d09c61f8128111b6d4fd6daaa266916 /tools | |
parent | a42b4ad44e62c2deacb2c4a76c5feab8ab7f9b04 (diff) |
doc: Don't prune Stability indicators
Diffstat (limited to 'tools')
-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) { |