From 8c314b35c88ada33ed963b62bb957665b9485e84 Mon Sep 17 00:00:00 2001
From: rjung <rjung@13f79535-47bb-0310-9956-ffa450edef68>
Date: Fri, 24 Jul 2009 12:14:05 +0000
Subject: [PATCH] Correct build.properties.default file name in more build
 files and explain more explicit how the customization files work.

git-svn-id: https://svn.apache.org/repos/asf/tomcat/trunk@797425 13f79535-47bb-0310-9956-ffa450edef68
---
 build.xml  | 11 +++++++++--
 dist.xml   | 11 +++++++++--
 extras.xml | 11 +++++++++--
 3 files changed, 27 insertions(+), 6 deletions(-)

diff --git a/build.xml b/build.xml
index f2dac022f..78951e64e 100644
--- a/build.xml
+++ b/build.xml
@@ -20,8 +20,15 @@
 
   <!-- ===================== Initialize Property Values =================== -->
 
-  <!-- See "build.properties.default" in the top level directory for all     -->
-  <!-- property values you must customize for successful building!!!        -->
+  <!-- We read customizable properties from the file "build.properties.default" -->
+  <!-- and also from "build.properties" if it exists.                           -->
+  <!-- The values in "build.properties" have stronger preference.               -->
+  <!-- If you want to customize your build, you can either change the values    -->
+  <!-- directly in the default file, or create a new build.properties and set   -->
+  <!-- the values there. This way you don't have to change a file which is part -->
+  <!-- of the original project source code.                                     -->
+  <!-- See "build.properties.default" in the top level directory for some       -->
+  <!-- property values you may customize.                                       -->
   <property file="${user.home}/build.properties"/>
   <property file="build.properties"/>
 
diff --git a/dist.xml b/dist.xml
index 053f525c9..946a363d0 100644
--- a/dist.xml
+++ b/dist.xml
@@ -20,8 +20,15 @@
 
   <!-- ===================== Initialize Property Values =================== -->
 
-  <!-- See "build.properties.sample" in the top level directory for all     -->
-  <!-- property values you must customize for successful building!!!        -->
+  <!-- We read customizable properties from the file "build.properties.default" -->
+  <!-- and also from "build.properties" if it exists.                           -->
+  <!-- The values in "build.properties" have stronger preference.               -->
+  <!-- If you want to customize your build, you can either change the values    -->
+  <!-- directly in the default file, or create a new build.properties and set   -->
+  <!-- the values there. This way you don't have to change a file which is part -->
+  <!-- of the original project source code.                                     -->
+  <!-- See "build.properties.default" in the top level directory for some       -->
+  <!-- property values you may customize.                                       -->
   <property file="${user.home}/build.properties"/>
   <property file="build.properties"/>
 
diff --git a/extras.xml b/extras.xml
index 779cfe326..dabd7fcb6 100644
--- a/extras.xml
+++ b/extras.xml
@@ -20,8 +20,15 @@
 
   <!-- ===================== Initialize Property Values =================== -->
 
-  <!-- See "build.properties.sample" in the top level directory for all     -->
-  <!-- property values you must customize for successful building!!!        -->
+  <!-- We read customizable properties from the file "build.properties.default" -->
+  <!-- and also from "build.properties" if it exists.                           -->
+  <!-- The values in "build.properties" have stronger preference.               -->
+  <!-- If you want to customize your build, you can either change the values    -->
+  <!-- directly in the default file, or create a new build.properties and set   -->
+  <!-- the values there. This way you don't have to change a file which is part -->
+  <!-- of the original project source code.                                     -->
+  <!-- See "build.properties.default" in the top level directory for some       -->
+  <!-- property values you may customize.                                       -->
   <property file="${user.home}/build.properties"/>
   <property file="build.properties"/>
 
-- 
2.11.0