diff --git a/doc/index.html b/doc/index.html index 9519fd20685..6cba92d4e62 100644 --- a/doc/index.html +++ b/doc/index.html @@ -8,9 +8,8 @@ - - - + +