> - in the main-distribution target, add :
>
> <delete dir="${dist.base}"/>
> that is, remove the distribution directory in case it was
> already there.I think deleting that directory should be part of a "clean" target. When doing a dist - should it really be from scratch? > - other change : > > add a target sign-distribution > (not a dependency of the other targets) > > just to avoid hacking a shell script every time. > > Antoine Sounds good - "avoid-hacking..." :-) Jan
