diff --git a/Doc/tools/templates/layout.html b/Doc/tools/templates/layout.html index 77915c8431b..17592d74a4e 100644 --- a/Doc/tools/templates/layout.html +++ b/Doc/tools/templates/layout.html @@ -5,7 +5,7 @@