builder.setPrependImagePrefix(prependImagePrefix); builder.setXhtmlStrict(xhtmlStrict); builder.setCopyrightNotice(copyrightNotice); builder.setHtmlFilenameFormat(htmlFilenameFormat); if (javadocRelativePath != null || javadocBasePackageName != null) {
other.setXhtmlStrict(xhtmlStrict); other.setPrependImagePrefix(prependImagePrefix); other.setCopyrightNotice(getCopyrightNotice()); other.setHtmlFilenameFormat(htmlFilenameFormat); other.spanTypeToElementName = spanTypeToElementName;