Delete docs.html~