From f2c15fe78724cb79ec6de58605abdbbc61dd47c5 Mon Sep 17 00:00:00 2001
From: Artur Signell <artur@vaadin.com>
Date: Tue, 23 Jun 2015 23:57:27 +0300
Subject: Include compressed themes (#18332)

Change-Id: I9a52034205e86923f70f4a317d3b1505dbfff97c
---
 themes/build.xml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'themes/build.xml')

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>
 
 
-- 
cgit v1.2.3