diff --git a/tools/doc/html.js b/tools/doc/html.js index 0c15162c4c33d4..22a793c3394bd1 100644 --- a/tools/doc/html.js +++ b/tools/doc/html.js @@ -36,7 +36,7 @@ const DOC_CREATED_REG_EXP = /