diff --git a/doc/index.html b/doc/index.html index 1cf7e0e4b61..42dcc5c172f 100644 --- a/doc/index.html +++ b/doc/index.html @@ -24,7 +24,7 @@