Makefile: "make once" runs pdflatex once; .txt only removed if