Re: [jdt-doc-dev] build.properties file

[Marco Qualizza <mqualizza@xxxxxxxxxxxxx>]

On Thursday 27 November 2003 11:50, Tanya-Marise De Sousa wrote:
> Go to:
> http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.jdt.doc.user/
>
> I understand the purpose of the build.xml file, but I'm not clear on the
> purpose of the build.properties file.
>
> Can anyone enlighten me?

build.xml: ant build script
build.properties: properties for the ant.build script
(ie/ just say you want to make some properties configurable per user.  You 
tell ant to read the build.properties in the user's home directory, and then 
the build.properties with the script -- anything defined in the user's home 
directory will override anything defined in the default build.properties.  
yes -- properties are defined the first time they're read, not the second, so 
the first will override the second)

HTH