diff -r 119747cd9f25 -r 667843bd2193 src/share/classes/com/sun/tools/javadoc/DocEnv.java --- a/src/share/classes/com/sun/tools/javadoc/DocEnv.java Thu Oct 24 01:27:10 2013 -0400 +++ b/src/share/classes/com/sun/tools/javadoc/DocEnv.java Thu Oct 24 11:22:50 2013 -0700 @@ -800,7 +800,7 @@ return result; } - void initDoclint(Collection opts) { + void initDoclint(Collection opts, Collection customTagNames) { ArrayList doclintOpts = new ArrayList(); for (String opt: opts) { @@ -814,6 +814,15 @@ return; } + String sep = ""; + StringBuilder customTags = new StringBuilder(); + for (String customTag : customTagNames) { + customTags.append(sep); + customTags.append(customTag); + sep = DocLint.TAGS_SEPARATOR; + } + doclintOpts.add(DocLint.XCUSTOM_TAGS_PREFIX + customTags.toString()); + JavacTask t = BasicJavacTask.instance(context); doclint = new DocLint(); // standard doclet normally generates H1, H2