From c936580ddd79288373d0bacfc1e670ed0a0b2d5f Mon Sep 17 00:00:00 2001
From: Kai Moritz <kai@juplo.de>
Date: Thu, 7 Jul 2016 16:54:56 +0200
Subject: [PATCH] Projekt-Seite erstellt: "Mark Invalid"-Bug korrigiert
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Das maven-resource-plugin benötigt eine spezielle Version des
maven-filtering-plugin, um stets korrekt zu funktionieren. Sonst kommt es
zu undeterministischen Ausfällen, bei denen das Kommandoe "mvn site" mit
"Mark Invalid" scheitert.
---
 pom.xml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/pom.xml b/pom.xml
index e2b9856..5ee69aa 100644
--- a/pom.xml
+++ b/pom.xml
@@ -130,6 +130,13 @@
         <groupId>org.apache.maven.plugins</groupId>
         <artifactId>maven-resources-plugin</artifactId>
         <version>2.7</version>
+        <dependencies>
+          <dependency>
+            <groupId>org.apache.maven.shared</groupId>
+            <artifactId>maven-filtering</artifactId>
+            <version>1.3</version>
+          </dependency>
+        </dependencies>
         <executions>
           <execution>
             <id>copy-resources</id>
-- 
2.20.1