doc: Don't prune Stability indicators

diff --git a/tools/doc/html.js b/tools/doc/html.js
index 0ffedb1ecc99909a288c951154121a015255f74c..0426198417acc4ab1bd07dd1b09f5e55873fefd2 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) {