class Metanorma::Utils::Log

def write(file = nil)
  (!file && @filename) or save_to(file || "metanorma", nil)
  File.open(@filename, "w:UTF-8") do |f|
    f.puts log_hdr(@filename)
    @log.each_key { |key| write_key(f, key) }
    f.puts "</body></html>\n"
  end
end