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