diff --git a/doc/maven.xml b/doc/maven.xml index 22dcfa2cdc..1dfc12119a 100644 --- a/doc/maven.xml +++ b/doc/maven.xml @@ -80,6 +80,9 @@ + + +