doc: Don't prune Stability indicators

13 years ago · f1742c93d7
1 changed files with 0 additions and 1 deletions
--- 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) {