Add HTML output files, for ReadTheDocs' use