Add Java 10 Server JRE support now that it's released.

[sven/java-package.git] / make-jpkg.1

diff --git a/make-jpkg.1 b/make-jpkg.1
index e8af5a79863ead47b19905113fdd7e8ea3a22094..34a5462f052befe0d0b46411a2f968d7649cd4c5 100644 (file)
--- a/make-jpkg.1
+++ b/make-jpkg.1
@@ -46,6 +46,12 @@ email address used in the maintainer field of the package
 .B --distribution \fIDISTRIBUTION\fR
 distribution to use in the debian changelog for the resulting package
 .TP
+.B --priority \fIPRIORITY\fR
+numeric priority for use by \fBupdate-alternatives\fP.  This overrides the default
+priority, which is intentionally lower than that of the Debian-provided OpenJDK
+packages.  Only use this option if the generated package should be considered higher
+priority by \fBupdate-alternatives\fP.
+.TP
 .B --changes
 create a .changes file
 .TP
@@ -63,6 +69,7 @@ ca-certificates and ca-certificates-java packages.
 .B --jce-policy \fIJCE_POLICY_FILE\fR
 Replace cryptography files with versions
 from the specified JCE_POLICY_FILE.
+.TP
 .B --help
 display help text and exit
 .TP