diff --git a/doc/index.html b/doc/index.html index b017fdd4..5cbf4fe0 100644 --- a/doc/index.html +++ b/doc/index.html @@ -249,6 +249,7 @@