[jboss-dev] AS Build Merge build.xml with build-dist.xml

The as build 5_x and trunk currently use two main ant build scripts for the distribution build. These are "build.xml" and "build-dist.xml". If I merge these two files I can remove ~300 lines of xml that just pass control from one file to the other. Since "build-dist.xml" cannot be used independently, I don't see a reason to keep them separate. Is there any reason to keep these two files separate? I plan to change this in trunk today or early next week, but for the 5_x branch, I will wait until after the release. Thanks!