Lines Matching defs:docencoding
197 public String docencoding = null;
494 new Option(resources, "-docencoding", 1) {
497 docencoding = args.get(0);
858 * As of this writing, this checks only docencoding.
863 if (docencoding != null) {
864 if (!checkOutputFileEncoding(docencoding)) {
868 if (docencoding == null && (encoding != null && !encoding.isEmpty())) {
880 * @param docencoding output file encoding.
883 private boolean checkOutputFileEncoding(String docencoding) {
887 osw = new OutputStreamWriter(ost, docencoding);
889 reporter.print(ERROR, getText("doclet.Encoding_not_supported", docencoding));