diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.xml | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/build/build.xml b/build/build.xml index da526e8307..681a9f890b 100644 --- a/build/build.xml +++ b/build/build.xml @@ -568,8 +568,7 @@ <include name="VAADIN/themes/reindeer/**/*" /> <include name="release-notes.html" /> - <include name="license/**/*" /> - <include name="COPYING" /> + <include name="license.html" /> </patternset> </fileset> </jar> @@ -596,8 +595,7 @@ <fileset dir="${output-dir}/WebContent"> <patternset> <include name="release-notes.html" /> - <include name="license/**/*" /> - <include name="COPYING" /> + <include name="license.html" /> </patternset> </fileset> </jar> @@ -634,8 +632,7 @@ <fileset dir="${output-dir}/WebContent"> <patternset> <include name="release-notes.html" /> - <include name="license/**/*" /> - <include name="COPYING" /> + <include name="license.html" /> </patternset> </fileset> </jar> |