def update_backend_attributes()
backend = @attributes['backend']
if BACKEND_ALIASES.has_key? backend
backend = @attributes['backend'] = BACKEND_ALIASES[backend]
end
basebackend = backend.sub(/[[:digit:]]+$/, '')
page_width = DEFAULT_PAGE_WIDTHS[basebackend]
if page_width
@attributes['pagewidth'] = page_width
else
@attributes.delete('pagewidth')
end
@attributes["backend-#{backend}"] = ''
@attributes['basebackend'] = basebackend
@attributes["basebackend-#{basebackend}"] = ''
@attributes["#{backend}-#{@attributes['doctype']}"] = ''
@attributes["#{basebackend}-#{@attributes['doctype']}"] = ''
ext = DEFAULT_EXTENSIONS[basebackend] || '.html'
@attributes['outfilesuffix'] = ext
file_type = ext[1..-1]
@attributes['filetype'] = file_type
@attributes["filetype-#{file_type}"] = ''
end