diff --git a/Doc/html/index.html b/Doc/html/index.html index c6ddcab72e6..2f188530881 100644 --- a/Doc/html/index.html +++ b/Doc/html/index.html @@ -12,7 +12,7 @@