Delete tomcat_manual.html