Delete details.tex~