Delete 00-pre.tex