diff --git a/tool/template-doc.html b/tool/template-doc.html index 2a76c13a22..0a50f64e09 100644 --- a/tool/template-doc.html +++ b/tool/template-doc.html @@ -25,6 +25,12 @@