On Thu, 5 Dec 2024 10:59:36 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> If the user does not have pandoc installed and configured, the logs are > spammed with the warning: > > > Warning: pandoc not found. Not generating man pages > > > once for each man page that should have been generated. > > This is excessive and should be removed. Instead, let configure inform the > user that you cannot build man pages without pandoc. This pull request has now been integrated. Changeset: 6f6bce56 Author: Magnus Ihse Bursie <i...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/6f6bce56fc95832a07ef9bfc6a4770b76440af09 Stats: 13 lines in 4 files changed: 0 ins; 2 del; 11 mod 8344559: Log is spammed by missing pandoc warnings when building man pages Reviewed-by: shade, erikj ------------- PR: https://git.openjdk.org/jdk/pull/22573
