diff --git a/Doc/html/index.html.in b/Doc/html/index.html.in index a921cd2f1fa7..3e77cb5fcb60 100644 --- a/Doc/html/index.html.in +++ b/Doc/html/index.html.in @@ -1,34 +1,35 @@
@@ -42,34 +43,42 @@