diff --git a/docs/config/config.xml b/docs/config/config.xml index e9e4c869d65..a169400288a 100644 --- a/docs/config/config.xml +++ b/docs/config/config.xml @@ -168,6 +168,8 @@ + +