--- jsr166/build.xml	2018/10/07 03:43:04	1.280
+++ jsr166/build.xml	2018/10/09 01:34:19	1.282
@@ -405,7 +405,6 @@
                  else="${javadoc@{v}}">
         <matches pattern="^(9|10|11)$" string="@{v}"/>
       </condition>
-      <property name="build.main.javadoc"   value="${javadoc12}"/>
     </sequential>
   </macrodef>
   <define-build-main-properties v="${build.main.java.version}"/>
@@ -413,9 +412,7 @@
   <target name="dists"
           depends="dist, 4jdk8dist"
           description="Builds all public jars and docs"/>
-          <!--
-              depends="dist, 4jdk8dist, 4jdk7dist, jsr166edist, jsr166ydist, extra166ydist, jsr166xdist"
-          -->
+          <!-- no longer supported: 4jdk7dist, jsr166edist, jsr166ydist, extra166ydist, jsr166xdist -->
 
   <target name="compile"
           depends="configure-compiler"
@@ -499,6 +496,7 @@
       <arg value="-XDignore.symbol.file=true"/>
       <arg value="-html5"/>
       <arg value="--patch-module=java.base=${src.dir}"/>
+      <arg value="--frames"/>
       <arg value="--override-methods=summary"/>
       <arg value="-tag"/> <arg value="${javadoc.jls.option}"/>
       <arg value="-tag"/> <arg value="implSpec:a:Implementation Requirements:"/>