nodejs
diff --git a/Collapse file
‎tools/doc/html.js‎
Copy file name to clipboardExpand all lines: tools/doc/html.js
+4-2Lines changed: 4 additions & 2 deletions b/Collapse file
‎tools/doc/html.js‎
Copy file name to clipboardExpand all lines: tools/doc/html.js
+4-2Lines changed: 4 additions & 2 deletions
@@ -340,8 +340,10 @@ function buildToc({ filename }) {
 
       depth = node.depth;
       const realFilename = path.basename(realFilenames[0], '.md');
-      const headingText = node.children.map((child) => child.value)
-        .join().trim();
+      const headingText = node.children.map((child) =>
+        file.contents.slice(child.position.start.offset,
+                            child.position.end.offset)
+      ).join('').trim();
       const id = getId(`${realFilename}_${headingText}`, idCounters);
 
       const hasStability = node.stability !== undefined;