Delete tool.tex