# HG changeset patch
# User jjg
# Date 1258740954 28800
# Node ID e3bfe7b528131dd1da1e6ff262e11a651b7b481f
# Parent  2ae470f0b492de89cb1af7b5869dcaca0aea4a26
6903456: 6898585 drops javadoc doclet.xml from JDK
Reviewed-by: ohair

diff -r 2ae470f0b492 -r e3bfe7b52813 langtools/make/build.xml
--- a/langtools/make/build.xml	Thu Nov 19 11:49:27 2009 -0800
+++ b/langtools/make/build.xml	Fri Nov 20 10:15:54 2009 -0800
@@ -492,8 +492,7 @@
                     <compilerarg line="${javac.lint.opts}"/>
                 </javac>
                 <copy todir="@{classes.dir}">
-                    <fileset dir="${src.classes.dir}">
-                        <include name="@{includes}"/>
+                    <fileset dir="${src.classes.dir}" includes="@{includes}">
                         <exclude name="**/*.java"/>
                         <exclude name="**/*.properties"/>
                         <exclude name="**/*-template"/>