build.xml
changeset 839 0e5b95573614
parent 816 2116f901307e
parent 825 b87f8688118c
child 988 d7ddcccdff8a
equal deleted inserted replaced
822:696b2880c994 839:0e5b95573614
    64     -->
    64     -->
    65     <setup />
    65     <setup />
    66 
    66 
    67     <property name="javadoc.output" value="doc/javadoc" />
    67     <property name="javadoc.output" value="doc/javadoc" />
    68     <property name="external.libs.dir" value="libs" />
    68     <property name="external.libs.dir" value="libs" />
    69 
    69 	<property name="encoding" value="UTF-8" />
    70     <target name="clean"
    70     <target name="clean"
    71 	description="Delete old build and dist directories">
    71 	description="Delete old build and dist directories">
    72 	<delete verbose="false" dir="${out.dir}"/>
    72 	<delete verbose="false" dir="${out.dir}"/>
    73 	<delete verbose="false" dir="gen"/>
    73 	<delete verbose="false" dir="gen"/>
    74     </target>
    74     </target>