From d9b2046fb1c4976f0e1155996a91b787d9de69be Mon Sep 17 00:00:00 2001
From: Mohamed Hamou <mohamed.hamou@gisaia.com>
Date: Tue, 5 Mar 2024 16:03:14 +0100
Subject: [PATCH] Copy documentation under docs/ folder

---
 mkDocs.sh | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/mkDocs.sh b/mkDocs.sh
index 21e8875ce..dd0d3cbe0 100755
--- a/mkDocs.sh
+++ b/mkDocs.sh
@@ -70,7 +70,15 @@ docker run --rm \
         && cat /opt/maven/docs/api/paths.md >> /opt/maven/target/generated-docs/reference.md \
         && cat /opt/maven/docs/api/definitions.md >> /opt/maven/target/generated-docs/reference.md \
         && cat /opt/maven/docs/api/security.md >> /opt/maven/target/generated-docs/reference.md'
-        
+
+echo "=> Copy documentation under docs/ repository"
+docker run --rm \
+    -v $PWD:/opt/maven \
+	  -v $HOME/.m2:/root/.m2 \
+	  busybox \
+        sh -c 'mkdir -p /opt/maven/target/generated-docs \
+        && cp -r /opt/maven/docs/* /opt/maven/target/generated-docs'
+
 echo "=> Copy CHANGELOG.md"
 docker run --rm \
     -v $PWD:/opt/maven \