diff --git a/doc/index.html b/doc/index.html index 5eb84e2ea7..98335307d0 100644 --- a/doc/index.html +++ b/doc/index.html @@ -8,17 +8,17 @@