On 06/12/13 11:44, Alan Bateman wrote:
On 05/12/2013 05:30, Sergey Lugovoy wrote:
Hi all,
please review the fix
http://cr.openjdk.java.net/~yan/8029451/webrev.01/
for
https://bugs.openjdk.java.net/browse/JDK-8029451
This patch cleanup tidy warnings for generated html documentation,
and do
not affect the appearance of the documentation.
In java/util/zip/package.html then I see that the <p> tags have been
replaced by <br/>. Is that okay in HTML 3.2? I just wonder if it might
be better to just remove the <p> tags. I don't see a problem with
changing the spacing of the list items.
-Alan
I just noticed some broken link fragments in the java.util.stream package.
Would it be worthwhile including the fix in this change, or should I
file a separate bug?
Michael
