From d6aa373674177f7ec5d2136fd23d0cf10fcf70bc Mon Sep 17 00:00:00 2001
From: Federico Fissore <federico@fissore.org>
Date: Wed, 23 Jan 2013 11:58:06 +0100
Subject: [PATCH] see #1227 windows zip reduced from 95M(403M uncompressed) to
 83M(363M uncompressed)

---
 build/build.xml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/build/build.xml b/build/build.xml
index 17ba1700b..cca2ffb88 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -639,6 +639,10 @@
     </chmod>
 
     <antcall target="windows-unzip-arm-toolchain" />
+
+    <delete includeEmptyDirs="true" quiet="true">
+      <fileset dir="windows/work/hardware/tools/avr/doc" />
+    </delete>
   </target>
 
   <target name="windows-run" depends="windows-build"