Delete tomcat.rst