From b2c3ebca42f38eb2b55c7773c37e2413ba0a16ce Mon Sep 17 00:00:00 2001
From: Jim Blake <jeb228@cornell.edu>
Date: Tue, 8 Jul 2014 12:19:13 -0400
Subject: [PATCH] Copy build.properties correctly into WEB-INF/resources.

Users may override with ant -Dbuild.properties.file=my.silly.name, but when it gets copied into WEB-INF/resources, it must be called build.properties
---
 webapp/build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/webapp/build.xml b/webapp/build.xml
index 479a66e0b..f62e2d8dd 100644
--- a/webapp/build.xml
+++ b/webapp/build.xml
@@ -234,7 +234,7 @@
 		</copy>
 
 		<!-- Copy the build.properties file to the resources directory. -->
-		<copy todir="${main.resources.dir}" file="${build.properties.file}" />
+		<copy tofile="${main.resources.dir}/build.properties" file="${build.properties.file}" />
 
 
 		<!-- copy any xml files from source tree to the war directory -->