diff options
author | Artur Signell <artur@vaadin.com> | 2015-06-23 23:57:27 +0300 |
---|---|---|
committer | Henri Sara <hesara@vaadin.com> | 2015-07-04 13:22:03 +0300 |
commit | f2c15fe78724cb79ec6de58605abdbbc61dd47c5 (patch) | |
tree | 8ef01caa3b2e16dc5ee1ff2c65a49bd9ee5dd473 /themes/build.xml | |
parent | 522566b3d7f393e83669a0a8651a2b7b7e8ed1af (diff) | |
download | vaadin-framework-f2c15fe78724cb79ec6de58605abdbbc61dd47c5.tar.gz vaadin-framework-f2c15fe78724cb79ec6de58605abdbbc61dd47c5.zip |
Include compressed themes (#18332)
Change-Id: I9a52034205e86923f70f4a317d3b1505dbfff97c
Diffstat (limited to 'themes/build.xml')
-rw-r--r-- | themes/build.xml | 3 |
1 files changed, 3 insertions, 0 deletions
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> |