diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,5 +6,5 @@ execsumm/document.pdf: execsumm/document.tex format.tex .tex.pdf: cd ${@D} && pdftex --jobname ${*F} ${<F} clean: - find -E . -regex ".*\.(pdf|log)" | xargs rm -f + find -E . -regex ".*\.(pdf|log)" -exec rm -f {} + .PHONY: all clean |