Browse Source

Package all widgets sources into sources.jar (#16805)

Change-Id: Ia1a3d8444d0b660a1f0141e872230758fbf5d95a
tags/7.4.1
Artur Signell 9 years ago
parent
commit
f3bd2d3b6e
1 changed files with 5 additions and 2 deletions
  1. 5
    2
      widgets/build.xml

+ 5
- 2
widgets/build.xml View File

@@ -97,16 +97,19 @@
<property name="jar.file"
location="${result.dir}/lib/${module.name}-${vaadin.version}.jar" />
<antcall target="common.jar">
<param name="src" value="${result.dir}/src" />
<param name="src" value="${result.src}" />
<reference refid="jar.includes" torefid="extra.jar.includes" />
</antcall>
</target>

<target name="publish-local" depends="jar">
<antcall target="common.sources.jar">
<param name="src" value="${result.src}" />
<reference torefid="extra.jar.includes" refid="jar.includes" />
</antcall>
<antcall target="common.javadoc.jar" />
<antcall target="common.javadoc.jar">
<param name="src" value="${result.src}" />
</antcall>

<antcall target="common.publish-local" />
</target>

Loading…
Cancel
Save