From d0779ec65b97d014cdf18bdd5b9b5dc1d5cb7d6b Mon Sep 17 00:00:00 2001 From: Rich Trott Date: Sat, 16 Oct 2021 01:37:10 -0700 Subject: [PATCH] fixup! tools: udpate doc tools to accommodate GFM footnotes --- tools/doc/allhtml.mjs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/doc/allhtml.mjs b/tools/doc/allhtml.mjs index e752e117698cb1..c9f63d6d26f091 100644 --- a/tools/doc/allhtml.mjs +++ b/tools/doc/allhtml.mjs @@ -57,8 +57,8 @@ for (const link of toc.match(//g)) { return ` { - return `
  • { + return `<${tagName} id="${moduleName}_${id}"`; }) // Prefix all links to other docs modules with those module names .replace(/ {