Delete refman.tex