diff --git a/doc/index.html b/doc/index.html index a3bbe653905..9d68bc26f83 100644 --- a/doc/index.html +++ b/doc/index.html @@ -23,7 +23,8 @@