diff options
| -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> |