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
