On Wed, 13 Apr 2022 16:01:17 GMT, Hannes Wallnöfer wrote:
> This is the second of two PRs to enhance JavaDoc search, it is based on the
> first one (#8185).
>
> It adds a standalone search page (search.html) along with its own script file
> (search-page.js). This PR is very similar to the last
Please review a simple small change to `TagletManager`, to not report warnings
about bad use of tags (such as `@author` and `@version`) when command-line
options have not been given to enable the use of the tags in the output (i.e.
the `-author` and the dreadfully-named `-version` option.)
The
On Fri, 6 May 2022 22:06:17 GMT, Jonathan Gibbons wrote:
> Please review a simple small change to `TagletManager`, to not report
> warnings about bad use of tags (such as `@author` and `@version`) when
> command-line options have not been given to enable the use of the tags in the
> output (i.
