652
652
<!-- Create the distribution directory -->
653
653
<copy todir="${dist}" file="AUTHORS"/>
654
654
<copy todir="${dist}" file="COPYING"/>
656
656
<copy todir="${dist}" file="NEWS"/>
657
657
<copy todir="${dist}" file="README"/>
658
658
<copy todir="${dist}" file="TRANSLATORS"/>