mirror of
https://github.com/openjdk/jdk.git
synced 2026-05-08 04:29:28 +00:00
8290625: Test jdk/javadoc/tool/CheckManPageOptions.java after manpage update
Reviewed-by: hannesw
This commit is contained in:
parent
618f3a82a4
commit
17e65bbd23
@ -66,7 +66,7 @@ public class CheckManPageOptions {
|
||||
|
||||
static final PrintStream out = System.err;
|
||||
|
||||
List<String> MISSING_IN_MAN_PAGE = List.of("--date");
|
||||
List<String> MISSING_IN_MAN_PAGE = List.of();
|
||||
|
||||
void run(String... args) throws Exception {
|
||||
var file = args.length == 0 ? findDefaultFile() : Path.of(args[0]);
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user