"document.tex" deleted