doc: Don't prune Stability indicators

diff --git a/tools/doc/html.js b/tools/doc/html.js
index 0ffedb1..0426198 100644 (file)
--- 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) {