diff --git a/.github/workflows/branch.yml b/.github/workflows/branch.yml index 5152b678b..ee8466fcd 100644 --- a/.github/workflows/branch.yml +++ b/.github/workflows/branch.yml @@ -26,10 +26,10 @@ jobs: java-version: 21 - name: Build with Maven run: | - mvn -B -DskipTests -DskipITs -ntp -T 1 install site + mvn -B -DskipTests -DskipITs -DstagingDirectory=$PWD/target/staging -ntp -T 1 install site site:stage rm -rf piranha-website/snapshot || true mkdir -p piranha-website/snapshot || true - cp -R target/site/* piranha-website/snapshot/ + cp -R target/staging/* piranha-website/snapshot/ cd piranha-website git config --global user.email "noreply@piranha.cloud" git config --global user.name "Automated publish" diff --git a/dist/coreprofile/src/site/site.xml b/dist/coreprofile/src/site/site.xml index c7eb2f273..f0d1c385b 100644 --- a/dist/coreprofile/src/site/site.xml +++ b/dist/coreprofile/src/site/site.xml @@ -7,6 +7,8 @@ + + diff --git a/src/site/markdown/index.md b/src/site/markdown/index.md index 85b15bc19..16593e9ce 100644 --- a/src/site/markdown/index.md +++ b/src/site/markdown/index.md @@ -28,11 +28,11 @@ distribution supports see our [Jakarta EE / Micro Profile matrix](https://piranh ## Distribution specific documentation -* [Piranha Core Profile](coreprofile/index.html) -* [Piranha Embedded](embedded/index.html) -* [Piranha Servlet](servlet/index.html) -* [Piranha Server](server/index.html) -* [Piranha Web Profile](webprofile/index.html) +* [Piranha Core Profile](dist/coreprofile/index.html) +* [Piranha Embedded](dist/embedded/index.html) +* [Piranha Servlet](dist/servlet/index.html) +* [Piranha Server](dist/server/index.html) +* [Piranha Web Profile](dist/webprofile/index.html) ## Maven Plugin documentation