diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/doc/html.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/doc/html.js b/tools/doc/html.js index ce53bceaa2..00077569d8 100644 --- a/tools/doc/html.js +++ b/tools/doc/html.js @@ -216,7 +216,7 @@ function preprocessElements({ filename }) { const noLinking = filename.includes('documentation') && heading !== null && heading.children[0].value === 'Stability Index'; - // collapse blockquote and paragraph into a single node + // Collapse blockquote and paragraph into a single node node.type = 'paragraph'; node.children.shift(); node.children.unshift(...paragraph.children); |