diff options
| -rw-r--r-- | build/build.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build/build.xml b/build/build.xml index ac6c3a7fec..50aed8b059 100644 --- a/build/build.xml +++ b/build/build.xml @@ -1142,6 +1142,8 @@ <copy todir="${output-dir}/WebContent/WEB-INF/src"> <fileset dir="${result-path}/src/demo"> <include name="${toolkit-package}/demo/**/*" /> + </fileset> + <fileset dir="${result-path}/src/core"> <!-- user might want to tweak launcher classes --> <include name="${toolkit-package}/launcher/**" /> </fileset> |