671
671
<!-- Create the distribution directory -->
672
672
<copy todir="${dist}" file="AUTHORS"/>
673
673
<copy todir="${dist}" file="COPYING"/>
675
675
<copy todir="${dist}" file="NEWS"/>
676
676
<copy todir="${dist}" file="README"/>
677
677
<copy todir="${dist}" file="TRANSLATORS"/>