diff --git a/tools/doc/html.js b/tools/doc/html.js index c4ed0b0eda7bbe..34903e70040e3d 100644 --- a/tools/doc/html.js +++ b/tools/doc/html.js @@ -15,7 +15,7 @@ const DOC_CREATED_REG_EXP = /