Removed the old and redundant build.xml-new.
authormj <mj>
Mon, 25 Mar 2002 19:53:35 +0000 (19:53 +0000)
committermj <mj>
Mon, 25 Mar 2002 19:53:35 +0000 (19:53 +0000)
commit17e3df79226eeef4a1f467f373d34d2628427cbc
tree3dbc485e369e4bcebc519282fddd88ed4d83e6d3
parent96e3f217ad3b3e4582e9b07966df8daf14072189
Removed the old and redundant build.xml-new.

The property "dist.home" was defined but not used. Implemented now.
Target "dist" had a self-inclusion problem if dist.home equals
  deploy.home like default setting defined.
Added a "mrproper" target that deletes the whole deploy.home
Changed target "clean" to only empty the classes directory.
The default target "compile" now cleans the classes directory before
  compilation to ensure a clean build.
Target "compile" now calls the permissions script before finishing.
build.xml
build.xml-new [deleted file]