From: Artur Signell <artur@vaadin.com>
Date: Tue, 23 Jun 2015 20:57:27 +0000 (+0300)
Subject: Include compressed themes (#18332)
X-Git-Tag: 7.6.0.alpha2~5^2~9
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=3c70a219865914dfaed4e712c5642e085c905123;p=vaadin-framework.git

Include compressed themes (#18332)

Change-Id: Icf10cbcf402f3427d63521b616428c041455ea32
---

diff --git a/themes/build.xml b/themes/build.xml
index 487376ebdf..0bb167855f 100644
--- a/themes/build.xml
+++ b/themes/build.xml
@@ -104,6 +104,9 @@
             <jvmarg value="-Djava.awt.headless=true" />
         </java>
 
+        <!-- Compress theme to serve using gzip -->
+        <gzip src="${theme.result.dir}/${theme}/styles.css"
+            destfile="${theme.result.dir}/${theme}/styles.css.gz" />
     </target>