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