From 240995fa0933873d3603638eba46fc36ee8277df Mon Sep 17 00:00:00 2001 From: Marcin Grzejszczak Date: Thu, 4 May 2023 17:12:35 +0200 Subject: [PATCH] Created a separate task; related to gh-221 --- pom.xml | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/pom.xml b/pom.xml index ed84a311..03b6bf3d 100644 --- a/pom.xml +++ b/pom.xml @@ -1386,6 +1386,21 @@ + + copy-missing-html-files + package + + run + + + false + + + + + + + package-and-attach-docs-zip package @@ -1394,9 +1409,6 @@ - - -