Delete hfdst-1.tex