diff --git a/docs/topindex.html b/docs/topindex.html index 3cbf216155..f32f3cea6b 100644 --- a/docs/topindex.html +++ b/docs/topindex.html @@ -48,7 +48,7 @@ {% endif %}