renamed html_docs to html