Delete manual.tex~