diff --git a/doc/index.html b/doc/index.html index bcae33adbc0..c611b2a291a 100644 --- a/doc/index.html +++ b/doc/index.html @@ -28,6 +28,8 @@