--- build.xml.orig	2011-02-16 12:51:06.000000000 +0100
+++ build.xml	2011-02-16 12:51:22.000000000 +0100
@@ -436,8 +436,6 @@
         <mkdir dir="${release.docs.dir}"/>
         <copy todir="${release.docs.dir}">
             <fileset dir="${basedir}/doc/spec" includes="*.txt" />
-            <fileset dir="${spec.dir}"
-		    includes="JavaMail-1.4.pdf,Providers.pdf" />
         </copy>
 	<!--
 	    To allow us to generate javadocs that only include some