diff --git a/tools/doc/allhtml.mjs b/tools/doc/allhtml.mjs
index c9f63d6d26f091..13fda2c573f668 100644
--- a/tools/doc/allhtml.mjs
+++ b/tools/doc/allhtml.mjs
@@ -38,7 +38,7 @@ for (const link of toc.match(//g)) {
.replace(/[\s\S]*?id="toc"[^>]*>\s*<\w+>.*?<\/\w+>\s*(