Convert a bunch of documents to HTML