Delete docs_contents.html