diff --git a/Doc/html/index.html.in b/Doc/html/index.html.in index 899b809f1e43..86b28cc569e1 100644 --- a/Doc/html/index.html.in +++ b/Doc/html/index.html.in @@ -91,7 +91,7 @@