diff options
| author | Jason Zaugg <jzaugg@gmail.com> | 2013-10-18 10:01:44 +0200 |
|---|---|---|
| committer | Jason Zaugg <jzaugg@gmail.com> | 2013-10-18 15:20:07 +0200 |
| commit | ea1137235e04baf1254289a37c008bf60c254835 (patch) | |
| tree | 92c6a6da78dad9148b28786724097abee3639ba4 /src/build/maven/maven-deploy.xml | |
| parent | 1571af7a8a7e78b67d052f371abc44c751930666 (diff) | |
| download | scala-ea1137235e04baf1254289a37c008bf60c254835.tar.gz scala-ea1137235e04baf1254289a37c008bf60c254835.tar.bz2 scala-ea1137235e04baf1254289a37c008bf60c254835.zip | |
Skip more under ant -Ddocs.skip.
- skip docs.lib, which doesn't route through the staged-docs
macro
- skip copying docs to the staged maven distribution
- skip maven local deploy of doc jar under this mode
- skip devel docs tarring
Diffstat (limited to 'src/build/maven/maven-deploy.xml')
| -rw-r--r-- | src/build/maven/maven-deploy.xml | 21 |
1 files changed, 15 insertions, 6 deletions
diff --git a/src/build/maven/maven-deploy.xml b/src/build/maven/maven-deploy.xml index 946b712b6c..fbd6d4cd51 100644 --- a/src/build/maven/maven-deploy.xml +++ b/src/build/maven/maven-deploy.xml @@ -74,12 +74,21 @@ <artifact:attach type="jar" file="${path}-docs.jar" classifier="javadoc" /> </artifact:deploy> </then><else> - <artifact:install file="${path}.jar"> - <artifact:localRepository path="${local.repository}" id="${repository.credentials.id}" /> - <artifact:pom refid="@{name}.pom" /> - <artifact:attach type="jar" file="${path}-src.jar" classifier="sources" /> - <artifact:attach type="jar" file="${path}-docs.jar" classifier="javadoc" /> - </artifact:install> + <if><isset property="docs.skip"/><then> + <artifact:install file="${path}.jar"> + <artifact:localRepository path="${local.repository}" id="${repository.credentials.id}" /> + <artifact:pom refid="@{name}.pom" /> + <artifact:attach type="jar" file="${path}-src.jar" classifier="sources" /> + </artifact:install> + </then> + <else> + <artifact:install file="${path}.jar"> + <artifact:localRepository path="${local.repository}" id="${repository.credentials.id}" /> + <artifact:pom refid="@{name}.pom" /> + <artifact:attach type="jar" file="${path}-src.jar" classifier="sources" /> + </artifact:install> + </else> + </if> </else></if> </then><else> <local name="repo"/> |