diff --git a/doc/index.html b/doc/index.html index 4888a7606dd..f31993d7e74 100644 --- a/doc/index.html +++ b/doc/index.html @@ -1,7 +1,7 @@