Delete specification.tex