diff --git a/doc/index.html b/doc/index.html index 2ba45f47b33..c1e52eb245c 100644 --- a/doc/index.html +++ b/doc/index.html @@ -27,7 +27,7 @@