Delete DOCUMENTATION.html