(no commit message)

[utils] / build / trailer.xml

diff --git a/build/trailer.xml b/build/trailer.xml
index 92896545fb82328a3288a7b945aa4256cfa9811c..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">