deleted doc/html