diff --git a/Doc/html/index.html.in b/Doc/html/index.html.in index 3e77cb5fcb6..68a5677b4c2 100644 --- a/Doc/html/index.html.in +++ b/Doc/html/index.html.in @@ -10,7 +10,7 @@