< prev index next >

src/jdk.compiler/share/classes/com/sun/tools/javac/main/Arguments.java

Print this page

        

*** 850,862 **** String format = options.get(Option.DOCLINT_FORMAT); if (format != null) { doclintOpts.add(DocLint.XHTML_VERSION_PREFIX + format); } - // standard doclet normally generates H1, H2, - // so for now, allow user comments to assume that - doclintOpts.add(DocLint.XIMPLICIT_HEADERS + "2"); return List.from(doclintOpts.toArray(new String[doclintOpts.size()])); } private boolean checkDirectory(Option option) { String value = options.get(option); --- 850,859 ----
< prev index next >