Skip to content

Commit

Permalink
Merge branch 'current' into issue-4192
Browse files Browse the repository at this point in the history
  • Loading branch information
mnriem authored Nov 20, 2024
2 parents 8068244 + 1cee15b commit f861855
Show file tree
Hide file tree
Showing 3 changed files with 9 additions and 7 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/branch.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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 "[email protected]"
git config --global user.name "Automated publish"
Expand Down
2 changes: 2 additions & 0 deletions dist/coreprofile/src/site/site.xml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,8 @@
<body>
<menu name="Core Profile">
<item name="Introduction" href="index.html"/>
</menu>
<menu name="Guides">
<item name="Create a REST service" href="create_a_rest_service.html"/>
<item name="Create a JSON REST service" href="create_a_json_rest_service.html"/>
<item name="Debugging a REST service with NetBeans" href="debugging_a_rest_service_with_netbeans.html"/>
Expand Down
10 changes: 5 additions & 5 deletions src/site/markdown/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit f861855

Please sign in to comment.