Browse Source

Fix javadoc search in Java 11

Closes gh-711
pull/714/head
Steve Riesenberg 4 years ago
parent
commit
a8974c6cca
No known key found for this signature in database
GPG Key ID: 5F311AB48A55D521
  1. 2
      buildSrc/src/main/java/org/springframework/gradle/docs/SpringJavadocOptionsPlugin.java

2
buildSrc/src/main/java/org/springframework/gradle/docs/SpringJavadocOptionsPlugin.java

@ -30,6 +30,8 @@ public class SpringJavadocOptionsPlugin implements Plugin<Project> { @@ -30,6 +30,8 @@ public class SpringJavadocOptionsPlugin implements Plugin<Project> {
project.getTasks().withType(Javadoc.class, (javadoc) -> {
StandardJavadocDocletOptions options = (StandardJavadocDocletOptions) javadoc.getOptions();
options.addStringOption("Xdoclint:none", "-quiet");
// Workaround for Java 11 javadoc search bug. Can be removed with Java 17.
options.addBooleanOption("-no-module-directories", true);
});
}
}

Loading…
Cancel
Save