Integrated: 7903599: jextract includes extraneous man pages

[Jorn Vernee]

On Thu, 11 Jan 2024 17:31:34 GMT, Jorn Vernee <jvernee at openjdk.org> wrote:

> A simple fix which drops the man pages from the generated jlink image. I've also added some other options to strip debug information, and header files, both of which are not needed for the regular non-test runtime image.
> 
> The native commands (e.g. `java.exe`) are still needed because we invoke that in the jextract launcher script, so we can't drop those.

This pull request has now been integrated.

Changeset: 0080c3ee
Author:    Jorn Vernee <jvernee at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/0080c3ee01453c6706af1a28af0dc38f9d00495f
Stats:     1 line in 1 file changed: 1 ins; 0 del; 0 mod

7903599: jextract includes extraneous man pages

Reviewed-by: mcimadamore

-------------

PR: https://git.openjdk.org/jextract/pull/173