other.setXhtmlStrict(xhtmlStrict); other.setPrependImagePrefix(prependImagePrefix); other.setCopyrightNotice(getCopyrightNotice()); other.setHtmlFilenameFormat(htmlFilenameFormat); other.spanTypeToElementName = spanTypeToElementName;
other.setXhtmlStrict(xhtmlStrict); other.setPrependImagePrefix(prependImagePrefix); other.setCopyrightNotice(getCopyrightNotice()); other.setHtmlFilenameFormat(htmlFilenameFormat); other.spanTypeToElementName = spanTypeToElementName;