File jython-new-xml.diff of Package jython
Index: jython/build.xml =================================================================== --- jython.orig/build.xml 2003-07-31 08:10:33.000000000 +0200 +++ jython/build.xml 2011-02-22 11:59:08.815316571 +0100 @@ -272,7 +272,7 @@ </copy> </target> - <target name="copy-dist" depends="dist-prepare,jar,copy-xml"> + <target name="copy-dist" depends="dist-prepare,jar"> <!-- Misc files --> <copy todir="${distDir}"> <fileset dir="${sourceDir}" includes="