diff options
author | Holden Rohrer <hr@hrhr.dev> | 2020-03-26 01:18:16 -0400 |
---|---|---|
committer | Holden Rohrer <hr@hrhr.dev> | 2020-03-26 01:18:16 -0400 |
commit | 39fb83dc8efc96e344a2772487c6bc8816aa22ea (patch) | |
tree | deb2879fce729b6d2aad98f62b3354aec8f41a4b /Makefile | |
parent | ab36b8d5b3f04146c9791e8134ef6a41f6f3aee7 (diff) |
pedantics
Diffstat (limited to 'Makefile')
-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 |