diff --git a/Doc/html/index.html.in b/Doc/html/index.html.in index 3ba73c85d47..afad1c8bc00 100644 --- a/Doc/html/index.html.in +++ b/Doc/html/index.html.in @@ -30,7 +30,7 @@