diff --git a/docs.xml b/docs.xml index 1e62f510d..1205c31cc 100644 --- a/docs.xml +++ b/docs.xml @@ -40,8 +40,10 @@ + +