diff options
| -rw-r--r-- | build/build.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build/build.xml b/build/build.xml index bfa038a686..cc7fc5dcba 100644 --- a/build/build.xml +++ b/build/build.xml @@ -197,6 +197,9 @@ <exclude name="**/*.html" /> <exclude name="**/*.css" /> <exclude name="**/*.xml" /> + <!-- Include files required by the DemoLauncher/DevelopmentServerLauncher --> + <include name="{$toolkit-package}/launcher/**/jetty-webdefault.xml" /> + <include name="{$toolkit-package}/launcher/**/keystore" /> </fileset> </copy> |