From d78d0a488df5db5c78d6fd1c1e1448871723ea45 Mon Sep 17 00:00:00 2001
From: Henri Sara <henri.sara@itmill.com>
Date: Mon, 6 Jun 2011 09:53:37 +0000
Subject: [PATCH] #7126 include liferay theme in Vaadin JAR

svn changeset:19229/svn branch:6.6
---
 build/build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build/build.xml b/build/build.xml
index 928bfdc638..ad90bc083b 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -812,6 +812,7 @@
                     <include name="VAADIN/widgetsets/com.vaadin.terminal.gwt.DefaultWidgetSet/**/*" />
                     <include name="VAADIN/themes/base/**/*" />
                     <include name="VAADIN/themes/default/**/*" />
+                    <include name="VAADIN/themes/liferay/**/*" />
                     <include name="VAADIN/themes/runo/**/*" />
                     <include name="VAADIN/themes/reindeer/**/*" />
                 </patternset>
-- 
2.39.5