685
685
<!-- Create the distribution directory -->
686
686
<copy todir="${dist}" file="AUTHORS"/>
687
687
<copy todir="${dist}" file="COPYING"/>
689
689
<copy todir="${dist}" file="NEWS"/>
690
690
<copy todir="${dist}" file="README"/>
691
691
<copy todir="${dist}" file="TRANSLATORS"/>