The build.xml file for taglibs, unlike many of the other jakarta project build files, does not refer to the user's home build.properties file. This is quite a useful bit of functionality to have, as it allows one (once the user's own build.properties file has been set up) to checkout and build a package without having to make any modifications to the package directory. I suggest putting the user's build.properties after the default ones, so that the user can make any local overrides they need to (assuming that for some reason there is a default build.properties file in the user's environment). <property file="build.properties"/> <property file="${user.home}/build.properties"/>
The change has been made in CVS, thanks for the suggestion.