diff --git a/tool/template-doc.html b/tool/template-doc.html index b3e9b8deb8..039ce5ad68 100644 --- a/tool/template-doc.html +++ b/tool/template-doc.html @@ -25,6 +25,12 @@