diff options
| author | Marko Grönroos <magi@iki.fi> | 2010-11-02 18:10:44 +0000 |
|---|---|---|
| committer | Marko Grönroos <magi@iki.fi> | 2010-11-02 18:10:44 +0000 |
| commit | 4374e6ab131955430a7800bf4b8b914b6853b100 (patch) | |
| tree | 611956779e26f7ec217d4841cc20d1aa52efb63f /build/build.xml | |
| parent | 4004d6854953041235023204762946d82ca14919 (diff) | |
| download | vaadin-framework-4374e6ab131955430a7800bf4b8b914b6853b100.tar.gz vaadin-framework-4374e6ab131955430a7800bf4b8b914b6853b100.zip | |
Publish Eclipse manual plugin as TeamCity artifact.
svn changeset:15837/svn branch:6.4
Diffstat (limited to 'build/build.xml')
| -rw-r--r-- | build/build.xml | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/build/build.xml b/build/build.xml index 6fe1f8082d..2ed75734f3 100644 --- a/build/build.xml +++ b/build/build.xml @@ -922,6 +922,8 @@ </copy> </target> + <!-- Package documentation in a documentation Zip package. --> + <!-- * Built Eclipse plugin is not included in this package. --> <target name="manual-package" depends="manual-init, manual-copy"> <zip destfile="${result-path}/${product-file}-docs-${version.full}.zip"> <zipfileset prefix="docs" dir="${result-path}/${base-name}/WebContent/docs"> @@ -941,7 +943,14 @@ </zip> </target> - <target name="manual" depends="init, manual-init, manual-checkout, manual-build, manual-copy, manual-package"> + <!-- Publishes Eclipse plugin version of the manual as TeamCity artifacts. --> + <!-- These are actually published during manual build, but with wrong path. --> + <target name="manual-publish-eclipse"> + <echo>##teamcity[publishArtifacts '${docdir}/build/result/eclipse/plugins/*.jar']</echo> + <echo>##teamcity[publishArtifacts '${docdir}/build/result/eclipse/features/*.jar']</echo> + </target> + + <target name="manual" depends="init, manual-init, manual-checkout, manual-build, manual-copy, manual-package, manual-publish-eclipse"> </target> <!-- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - --> |