Delete doxet-maker.tex