diff --git a/doc/index.html b/doc/index.html index 0e5cfd83..ce2cf7ef 100644 --- a/doc/index.html +++ b/doc/index.html @@ -247,11 +247,11 @@