Delete export.tex