Do not include javadoc jar in zip (#9963)

Change-Id: I1b1a067e8e67a6c21eb6401efa2cf38b81905e22

diff --git a/all/build.xml b/all/build.xml
index 8f60703be62eccf756eaadb8735a51c43681250f..e352cbbc0713595f72147c3a07cb9314442ae59a 100644 (file)
--- a/all/build.xml
+++ b/all/build.xml
@@ -93,7 +93,7 @@
                        <fileset dir="${result.dir}/..">
                                <include name="README.TXT" />
                        </fileset>
-                       <fileset file="${javadoc.jar}" />
+                       <!-- Do not include javadoc jar in zip as it is huge (> 40MB) and most people do not need it. -->
                </zip>
        </target>