diff --git a/docs/templates/topindex.html b/docs/templates/topindex.html index 7ee1180ec2..3a9269eb17 100644 --- a/docs/templates/topindex.html +++ b/docs/templates/topindex.html @@ -88,7 +88,7 @@