diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2017-03-15 17:00:58 +0100 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2017-03-15 17:00:58 +0100 |
| commit | 89714f80ad93d9aaa161d641d8ff867033046f44 (patch) | |
| tree | f7e67f44725a1a691274f60651d273e0ba6b5252 /java/vaadin | |
| parent | 1630e37ceaf066ad5967711eac1f6e3ebfc7f24b (diff) | |
| download | share-89714f80ad93d9aaa161d641d8ff867033046f44.zip share-89714f80ad93d9aaa161d641d8ff867033046f44.tar.gz | |
java : vaadin : better use of zipfileset
Diffstat (limited to 'java/vaadin')
| -rw-r--r-- | java/vaadin/build.xml | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/java/vaadin/build.xml b/java/vaadin/build.xml index 0a4304a..3a09f9d 100644 --- a/java/vaadin/build.xml +++ b/java/vaadin/build.xml @@ -127,29 +127,25 @@ <include name="**/*-javadoc.jar"/> </fileset> </delete> - <copy todir="${classes.dir}" flatten="true"> - <fileset dir="${resources.dir}"/> - </copy> <delete file="${dist.dir}/${war.name}"/> <war destfile="${dist.dir}/${war.name}" webxml="${web.dir}/WEB-INF/web.xml"> + <zipfileset dir="${resources.dir}" prefix="WEB-INF/classes"/> <classes dir="${classes.dir}" includes="**" /> + <zipfileset dir="${build.dir}/VAADIN/themes" prefix="VAADIN/themes"/> <fileset dir="${web.dir}"> <patternset> <include name="*.html" /> - <include name="WEB-INF/lib/*" /> - <include name="WEB-INF/*.xml" /> <include name="VAADIN/widgetsets/**/*" /> <include name="VAADIN/themes/**/fonts/**/*" /> <include name="VAADIN/themes/**/icons/**/*" /> <include name="VAADIN/themes/**/images/**/*" /> + <include name="WEB-INF/lib/*" /> + <include name="WEB-INF/*.xml" /> </patternset> </fileset> - <fileset dir="${build.dir}"> - <include name="WEB-INF/lib/*" /> - <include name="VAADIN/themes/**/*" /> - </fileset> + <zipfileset dir="${lib.dir}" prefix="WEB-INF/lib"/> </war> </target> |