diff --git a/doc/index.html b/doc/index.html index 6ae814756..66922d0d0 100644 --- a/doc/index.html +++ b/doc/index.html @@ -318,7 +318,7 @@