On Fri, 10 May 2024 16:15:36 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:
> Please review a patch to update to the javadoc man page to add the > `--no-fonts` option and fix a typo. This pull request has now been integrated. Changeset: 1484153c Author: Hannes Wallnöfer <hann...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/1484153c1a092cefc20270b35aa1e508280843a4 Stats: 8 lines in 2 files changed: 5 ins; 0 del; 3 mod 8332080: Update troff man page for javadoc Reviewed-by: jjg ------------- PR: https://git.openjdk.org/jdk/pull/19181
