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

diff --git a/build.xml b/build.xml
index f2dac02..78951e6 100644 (file)
--- 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 053f525..946a363 100644 (file)
--- 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 779cfe3..dabd7fc 100644 (file)
--- 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"/>