diff --git a/doc/index.html b/doc/index.html index d67b00a1..953f2c7e 100644 --- a/doc/index.html +++ b/doc/index.html @@ -49,7 +49,7 @@