diff --git a/docs/contents.html b/docs/contents.html index 1ca1989b446..94b538da1af 100644 --- a/docs/contents.html +++ b/docs/contents.html @@ -26,7 +26,7 @@ Documentation