On Fri, 13 Nov 2020 02:05:23 GMT, Yoshiki Sato <ysato...@openjdk.org> wrote:
>> test/langtools/tools/doclint/tidy/InvalidName.out line 3: >> >>> 1: InvalidName.java:17: error: invalid name for anchor: "foo()" >>> 2: * <a id="foo()">invalid</a> >>> 3: ^ >> >> This seems incorrect. In HTML5 all names are valid unless they contain >> whitespace. > > Understood. Need to file it as another DocLint bug. Filed as [JDK-8256312](https://bugs.openjdk.java.net/browse/JDK-8256312) ------------- PR: https://git.openjdk.java.net/jdk/pull/893
