diff options
Diffstat (limited to 'widgets/build.xml')
| -rw-r--r-- | widgets/build.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/widgets/build.xml b/widgets/build.xml index a2eebd4276..2b1f30f7cb 100644 --- a/widgets/build.xml +++ b/widgets/build.xml @@ -76,11 +76,11 @@ </fileset> </copy> - <mkdir dir="${result.src}/com/vaadin/themes" /> - <copy todir="${result.src}/com/vaadin/themes/valo"> + <mkdir dir="${result.src}/com/vaadin/themes/public" /> + <copy todir="${result.src}/com/vaadin/themes/public/valo"> <fileset dir="${result.deps}/VAADIN/themes/valo" /> </copy> - <copy todir="${result.src}/com/vaadin/themes/base"> + <copy todir="${result.src}/com/vaadin/themes/public/base"> <fileset dir="${result.deps}/VAADIN/themes/base" /> </copy> </target> |