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 b62db3d57e..6b23f7f31d 100644 --- a/build/build.xml +++ b/build/build.xml @@ -375,6 +375,7 @@ <include name="demo/**/*" /> <include name="WEB-INF/lib/hsqldb.jar" /> <include name="VAADIN/themes/**/*" /> + <include name="VAADIN/vaadinBootstrap.js" /> <include name="META-INF/**/*" /> </fileset> </copy> @@ -623,6 +624,7 @@ <include name="VAADIN/themes/liferay/**/*" /> <include name="VAADIN/themes/runo/**/*" /> <include name="VAADIN/themes/reindeer/**/*" /> + <include name="VAADIN/vaadinBootstrap.js" /> <include name="release-notes.html" /> <include name="license.html" /> |