Delete details.tex