diff options
author | James Moger <james.moger@gitblit.com> | 2011-10-24 21:51:46 -0400 |
---|---|---|
committer | James Moger <james.moger@gitblit.com> | 2011-10-24 21:51:46 -0400 |
commit | 97a20ed01cb5ec890517e4fcbd67b8d8ff381787 (patch) | |
tree | 620bce135606c569c9429205b1b541bcf356f08e /build.xml | |
parent | f306ef8552efe1580e9c16e1d944f5ed1dca4aae (diff) | |
download | gitblit-97a20ed01cb5ec890517e4fcbd67b8d8ff381787.tar.gz gitblit-97a20ed01cb5ec890517e4fcbd67b8d8ff381787.zip |
Working edit settings RPC. Web.xml is not directly modified.
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -106,7 +106,7 @@ <!-- copy gitblit.properties to the WEB-INF folder.
this file is only used for parsing setting descriptions. -->
- <copy todir="${basedir}/src/WEB-INF" overwrite="true"
+ <copy tofile="${basedir}/src/WEB-INF/reference.properties" overwrite="true"
file="${basedir}/distrib/gitblit.properties" />
<!-- Compile the build tool and execute it.
@@ -311,11 +311,10 @@ <delete dir="${project.war.dir}" />
- <!-- Copy web.xml, users.properties, and gitblit.properties to WEB-INF -->
+ <!-- Copy web.xml and users.properties to WEB-INF -->
<copy todir="${project.war.dir}/WEB-INF">
<fileset dir="${basedir}/distrib">
<include name="users.properties" />
- <include name="gitblit.properties" />
</fileset>
<fileset dir="${basedir}/src/WEB-INF">
<include name="web.xml" />
@@ -326,6 +325,10 @@ </fileset>
</copy>
+ <!-- Copy gitblit.properties as reference.properties -->
+ <copy tofile="${project.war.dir}/WEB-INF/reference.properties"
+ file="${basedir}/distrib/gitblit.properties"/>
+
<!-- Build the docs for the WAR build -->
<antcall target="buildDocs" inheritall="true" inheritrefs="true">
<param name="docs.output.dir" value="${project.war.dir}/WEB-INF/docs" />
|