From 090445a4f478a80569b64e25658ab8e57453562c Mon Sep 17 00:00:00 2001
From: Artur Signell <artur.signell@itmill.com>
Date: Tue, 19 May 2009 10:46:40 +0000
Subject: [PATCH] Include runo and reindeer themes in jar

svn changeset:7881/svn branch:6.0
---
 build/build.xml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/build/build.xml b/build/build.xml
index c9911da6bd..c89a27ea4c 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -255,6 +255,8 @@
 			<zipfileset prefix="${product-file}-${package-platform}-${version}/gwt" dir="${gwt-dir}/${package-platform}">
 				<patternset>
 					<include name="**/*" />
+					<exclude name="gwt/doc"/>
+					<exclude name="gwt/samples"/>
 				</patternset>
 			</zipfileset>
 		</zip>
@@ -962,6 +964,8 @@
 				<patternset>
 					<include name="VAADIN/widgetsets/com.vaadin.terminal.gwt.DefaultWidgetSet/**/*" />
 					<include name="VAADIN/themes/default/**/*" />
+					<include name="VAADIN/themes/runo/**/*" />
+					<include name="VAADIN/themes/reindeer/**/*" />
 				</patternset>
 			</fileset>
 		</jar>
-- 
2.39.5