Delete spec.tex