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 | |
| parent | ab36b8d5b3f04146c9791e8134ef6a41f6f3aee7 (diff) | |
pedantics
| -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 |