Looks good! Hannes
> Am 04.04.2019 um 22:44 schrieb Jonathan Gibbons <[email protected]>: > > Please review a small docs fix to close up a hole in the series of headings in > > src/jdk.javadoc/share/classes/jdk/javadoc/doclet/package-info.java > > The number in all headings has been reduced by 1. > > Before the change: > > $ grep 'h[1-6]' > src/jdk.javadoc/share/classes/jdk/javadoc/doclet/package-info.java > * <h3>Terminology</h3> > * <h3>Options</h3> > * <h4>Interactions with older options.</h4> > * <h3>Example</h3> > * <h3><a id="migration">Migration Guide</a></h3> > > After the change: > > $ grep 'h[1-6]' > src/jdk.javadoc/share/classes/jdk/javadoc/doclet/package-info.java > * <h2>Terminology</h2> > * <h2>Options</h2> > * <h3>Interactions with older options.</h3> > * <h2>Example</h2> > * <h2><a id="migration">Migration Guide</a></h2> > > -- Jon > > JBS: https://bugs.openjdk.java.net/browse/JDK-8221997 > Webrev: http://cr.openjdk.java.net/~jjg/8221997/webrev.00/ > >
