Delete undoc.html