diff options
author | Artur Signell <artur@vaadin.com> | 2015-06-23 23:57:27 +0300 |
---|---|---|
committer | Artur Signell <artur@vaadin.com> | 2015-06-24 00:19:22 +0300 |
commit | 3c70a219865914dfaed4e712c5642e085c905123 (patch) | |
tree | 354b885c65b19335768eef3856ee77d6fabb2145 /themes | |
parent | 1dfdf1a4d701c370127739a15d98dfa2e63432b0 (diff) | |
download | vaadin-framework-3c70a219865914dfaed4e712c5642e085c905123.tar.gz vaadin-framework-3c70a219865914dfaed4e712c5642e085c905123.zip |
Include compressed themes (#18332)
Change-Id: Icf10cbcf402f3427d63521b616428c041455ea32
Diffstat (limited to 'themes')
-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> |