diff --git a/docs/index.html b/docs/index.html index 28ae9ef07d..f7ff177ed0 100644 --- a/docs/index.html +++ b/docs/index.html @@ -465,5 +465,5 @@ diff --git a/docs/manual/community/index.html b/docs/manual/community/index.html index 762a8a791a..0ebb5404ab 100644 --- a/docs/manual/community/index.html +++ b/docs/manual/community/index.html @@ -316,6 +316,10 @@