diff --git a/doc/template.html b/doc/template.html index dec3f5067022..328e46e19784 100644 --- a/doc/template.html +++ b/doc/template.html @@ -7,6 +7,14 @@ +