[jBoss-Dev] Super-minor featur-request

[Per Bockman]

Hi,

I'm annoyed with the jboss-2.0.zip file. When unzipping the jboss
distribution file the 'deploy' directory isn't created. A simple fix for
this "tiny little problem" is to place a foo.goo.bar.txt (i.e. dummy) file
in the dist/deploy directory. After that the 'dist-zip' target in build.xml
will work as expected (explanation: zip ignores empty directories).

/Per