< prev index next >

jdk/src/jdk.jlink/share/classes/jdk/tools/jmod/resources/jmod.properties

Print this page

        

@@ -52,13 +52,15 @@
 main.opt.config=Location of user-editable config files
 main.opt.dry-run=Dry run of hash mode
 main.opt.exclude=Exclude files matching the supplied comma separated pattern\
 \ list, each element using one the following forms: <glob-pattern>,\
 \ glob:<glob-pattern> or regex:<regex-pattern>
+main.opt.header-files=Location of header files
 main.opt.module-version= Module version
 main.opt.main-class=Main class
 main.opt.main-class.arg=class-name
+main.opt.man-pages=Location of man pages
 main.opt.os-name=Operating system name
 main.opt.os-name.arg=os-name
 main.opt.os-arch=Operating system architecture
 main.opt.os-arch.arg=os-arch
 main.opt.os-version=Operating system version
< prev index next >