(no commit message)

[utils] / build / trailer.xml

diff --git a/build/trailer.xml b/build/trailer.xml
index f5b63efc525de30f63ae580da051afd905c631bd..d210ff5ca3be533c87b7e58407231f383fc1f76b 100644 (file)
--- a/build/trailer.xml
+++ b/build/trailer.xml
@@ -215,6 +215,13 @@
                        <include name="**/*.pdf" />
                </fileset>
        </copy>
+       <if>
+         <isset property="webroot.dir"/>
+         <then>
+           <jar destfile="${module.dist.dir}/${module.name}.war"
+                    basedir="${webroot.dir}"/>
+         </then>
+       </if>
 </target>
 
 <target name="dist-lite-test" depends="deps,testclasses">
@@ -226,6 +233,12 @@
 </target>
 
 <target name="dist-lite" depends="clean,dist-lite-product,dist-lite-test">
+  <if> 
+    <isset property="post-dist-lite"/>
+       <then> 
+         <antcall target="post-dist-lite"/>
+       </then>
+  </if>
 </target>
 
 <target name="dist-javadoc" depends="javadoc,pdfdoc,testjavadoc">