diff --git a/doc/index.html b/doc/index.html index 3406f83cf2..5770786a92 100644 --- a/doc/index.html +++ b/doc/index.html @@ -28,11 +28,10 @@