diff options
author | Thomas Pummer <dev@nullpointer.at> | 2013-02-22 17:10:11 +0100 |
---|---|---|
committer | Thomas Pummer <dev@nullpointer.at> | 2013-02-22 17:10:11 +0100 |
commit | dfc4ece4083bbbb98f55291d05e7d2b1513464b7 (patch) | |
tree | d8b6e9a14d9d59271e83ecd88e9b414733b57f4c /build.xml | |
parent | f5e60ba88a28c2df0c9263dd6f999f675fefe4e9 (diff) | |
download | gitblit-dfc4ece4083bbbb98f55291d05e7d2b1513464b7.tar.gz gitblit-dfc4ece4083bbbb98f55291d05e7d2b1513464b7.zip |
the display-name in web.xml now shows the actual version of Gitblit
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -208,6 +208,9 @@ <copy todir="${project.build.dir}">
<fileset dir="${basedir}/src" excludes="**/*.java,**/thumbs.db" />
</copy>
+
+ <!-- Set Version into web.xml -->
+ <replace file="${project.build.dir}/WEB-INF/web.xml" token="@gb.version@" value="${gb.version}" summary="yes"/>
</target>
@@ -277,6 +280,9 @@ <include name="authority.conf" />
</fileset>
</copy>
+
+ <!-- Set Version into web.xml -->
+ <replace file="${project.build.dir}/WEB-INF/web.xml" token="@gb.version@" value="${gb.version}" summary="yes"/>
<!-- Build jar -->
<jar jarfile="${project.deploy.dir}/${project.jar}">
@@ -454,6 +460,9 @@ </fileset>
</copy>
+ <!-- Set Version into web.xml -->
+ <replace file="${project.war.dir}/WEB-INF/web.xml" token="@gb.version@" value="${gb.version}" summary="yes"/>
+
<!-- Copy gitblit.properties as reference.properties -->
<copy tofile="${project.war.dir}/WEB-INF/reference.properties"
file="${basedir}/distrib/gitblit.properties"/>
@@ -497,6 +506,9 @@ <arg value="${project.war.dir}/WEB-INF/web.xml" />
</java>
+
+ <!-- Set Version into web.xml -->
+ <replace file="${project.war.dir}/WEB-INF/web.xml" token="@gb.version@" value="${gb.version}" summary="yes"/>
<!-- Gitblit resources -->
<copy todir="${project.war.dir}">
@@ -729,6 +741,9 @@ <arg value="--propertiesFile" />
<arg value="${basedir}/distrib/gitblit.properties" />
</java>
+
+ <!-- Set Version into web.xml -->
+ <replace file="${deployments.root}/WEB-INF/web.xml" token="@gb.version@" value="${gb.version}" summary="yes"/>
<!-- Gitblit resources -->
<copy todir="${deployments.root}">
|