Delete docs.html