Attaching the docs as zip

2020-04-01 10:21:59 +02:00
parent 8a30fea67a
commit 85bffe377a
1 changed files with 4 additions and 0 deletions
--- a/docs/pom.xml
+++ b/docs/pom.xml
@@ -67,6 +67,10 @@
 						<groupId>org.apache.maven.plugins</groupId>
 						<artifactId>maven-antrun-plugin</artifactId>
 					</plugin>
+					<plugin>
+						<groupId>org.codehaus.mojo</groupId>
+						<artifactId>build-helper-maven-plugin</artifactId>
+					</plugin>
 				</plugins>
 			</build>
 		</profile>