Definitely a quicker solution, but I thought that was hack and ignored the real problem. Malformed JavaDocs. I think this solution puts us on the path for having a good JavaDocs for the future.
Preston On Wed, Oct 28, 2015 at 9:16 AM, Till Westmann <[email protected]> wrote: > > On 28 Oct 2015, at 9:07, Jochen Wiedmann wrote: > > > On Wed, Oct 28, 2015 at 4:35 PM, Till Westmann <[email protected]> wrote: > > > >> I think that this is mainly about doclint, the 4th bullet point in [1]. > > > > If so, wouldn't be "-Xdoclint:none" in a suitable profile a quicker > > and less intrusive solution? > > Yes, but fixing the javadoc doesn’t seem to be a bad idea either - > especially in those place where we’re producing broken HTML right now :) > > Cheers, > Till >
