From e9756184d5ca0e4b98525860028de41f567af996 Mon Sep 17 00:00:00 2001
From: Nelson Tavares de Sousa <ntd@informatik.uni-kiel.de>
Date: Wed, 28 Jan 2015 15:22:06 +0100
Subject: [PATCH] added property to define javadoc output directory

---
 pom.xml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pom.xml b/pom.xml
index 557eb76e..68ec3e41 100644
--- a/pom.xml
+++ b/pom.xml
@@ -22,6 +22,7 @@
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 		<java.version>1.6</java.version>
+		<javadocOutputDir>apidocs</javadocOutputDir>
 	</properties>
 
 	<distributionManagement>
@@ -347,6 +348,9 @@
 				<groupId>org.apache.maven.plugins</groupId>
 				<artifactId>maven-javadoc-plugin</artifactId>
 				<version>2.9.1</version>
+				<configuration>
+					<destDir>${javadocOutputDir}</destDir>
+				</configuration>
 			</plugin>
 			<plugin>
 				<groupId>org.codehaus.mojo</groupId>
-- 
GitLab