git: openjdk/jdk: 8288660: JavaDoc should be more helpful if it doesn't recognize a tag

[Pavel Rappo]

Changeset: a01b3fb8
Author:    Pavel Rappo <prappo at openjdk.org>
Date:      2023-09-06 07:51:14 +0000
URL:       https://git.openjdk.org/jdk/commit/a01b3fb8e912eadd309e7036995656dd609629b2

8288660: JavaDoc should be more helpful if it doesn't recognize a tag

Reviewed-by: jjg

! src/jdk.compiler/share/classes/com/sun/tools/javac/api/JavacTrees.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/taglets/TagletManager.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/doclets.properties
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclint/Checker.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclint/DocLint.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclint/Messages.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclint/resources/doclint.properties
! test/langtools/jdk/javadoc/doclet/testSnippetTag/TestSnippetTag.java
! test/langtools/jdk/javadoc/doclet/testUknownTags/TestUnknownTags.java
! test/langtools/tools/doclint/CustomTagTest.java
! test/langtools/tools/doclint/CustomTagTest.out
! test/langtools/tools/doclint/CustomTagTestWithOption.out