commit 124cd2972c5ade0c3f1ec3d4c72ec4c3e103fc11 parent 3fe237f7f775da164820864ae2336684836c3a4b Author: Felicitus <felicitus@felicitus.org> Date: Wed, 21 Dec 2011 13:03:42 +0100 Don't include src, shadowless and bonus icons as well as the preview pngs to save space Diffstat:
| M | build.xml | | | 9 | +++++++++ |
1 file changed, 9 insertions(+), 0 deletions(-)
diff --git a/build.xml b/build.xml @@ -167,6 +167,12 @@ <exclude name="build.properties"/> <exclude name="build.xml"/> <exclude name="cli-config.php"/> + <exclude name="frontend/resources/fugue-icons/src/**/*"/> + <exclude name="frontend/resources/fugue-icons/bonus/**/*"/> + <exclude name="frontend/resources/fugue-icons/icons-shadowless/**/*"/> + <exclude name="frontend/resources/fugue-icons/all.png"/> + <exclude name="frontend/resources/fugue-icons/all-preview.png"/> + <exclude name="frontend/resources/fugue-icons/all-shadowless.png"/> </fileset> </copy> @@ -179,6 +185,9 @@ <delete dir="${packagepath}/3rdparty/extjs/"/> <delete dir="${packagepath}/3rdparty/phpjs/"/> <delete dir="${packagepath}/3rdparty/ext-wizard/"/> + <delete dir="${packagepath}/frontend/resources/fugue-icons/src/"/> + <delete dir="${packagepath}/frontend/resources/fugue-icons/bonus/"/> + <delete dir="${packagepath}/frontend/resources/fugue-icons/icons-shadowless/"/> </target> <target name="nightly">