Eclipse
/
jetty.project
mirror of https://github.com/jetty/jetty.project.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #12093 from jetty/fix/jetty-12/jetty-documentation-skip-deploy 

skip deployment of jetty-documentation
This commit is contained in:
Joakim Erdfelt 2024-07-25 16:52:40 -05:00 committed by GitHub
parent e33b3cdb79 81a16869af
commit 82ec6d071f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
documentation/jetty-documentation/pom.xml
View File

@ -15,6 +15,7 @@
<bundle-symbolic-name>${project.groupId}</bundle-symbolic-name>
<jacoco.skip>true</jacoco.skip>
<javadoc.skip>true</javadoc.skip>
<maven.deploy.skip>true</maven.deploy.skip>
<sources.skip>true</sources.skip>
</properties>