Build sources and javadoc jars for push (#11498)

Change-Id: Ia1621376ff86935e5f9db3d54d64de3dfb85fb6c

diff --git a/push/build.xml b/push/build.xml
index 81feec318890182798daf2b8722f6b7f18b72230..95284e6e37495bbc3b230eabeb2d895af191881e 100644 (file)
--- a/push/build.xml
+++ b/push/build.xml
@@ -56,6 +56,10 @@
        </target>
 
        <target name="publish-local" depends="jar">
+               <antcall target="common.sources.jar">
+                       <reference torefid="extra.jar.includes" refid="jar.includes" />
+               </antcall>
+               <antcall target="common.javadoc.jar" />
                <antcall target="common.publish-local" />
        </target>