langtools/make/build.xml
changeset 9303 eae35c201e19
parent 9070 f847fe5cad3d
child 10183 63f2f2e5f642
--- a/langtools/make/build.xml	Tue Apr 12 20:58:06 2011 -0700
+++ b/langtools/make/build.xml	Wed Apr 13 11:35:43 2011 -0700
@@ -464,7 +464,7 @@
     </target>
 
     <target name="javadoc-javac" depends="build-javac,-def-javadoc-tool">
-        <javadoc-tool name="javac" includes="${javac.includes}" options="${javadoc.jls3.option}"/>
+        <javadoc-tool name="javac" includes="${javac.includes}" options="${javadoc.jls.option}"/>
     </target>
 
     <target name="jtreg-javac" depends="build-javac,build-javap,-def-jtreg">