Delete doc.tex