summaryrefslogtreecommitdiff
path: root/wo/Makefile
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-07-20 10:57:12 +0200
committerErich Eckner <git@eckner.net>2020-07-20 10:57:12 +0200
commitb51411d16b61347b36c3c00b425a45b5da549b79 (patch)
treed053558c047fcfecca566098aa7d7dc26e21d71e /wo/Makefile
parent4782d17761a19acb55416d2f29a1c7817bae1def (diff)
downloadMusik-b51411d16b61347b36c3c00b425a45b5da549b79.tar.xz
remove *.post, too
Diffstat (limited to 'wo/Makefile')
-rw-r--r--wo/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/wo/Makefile b/wo/Makefile
index dbe7f79..fb92f9c 100644
--- a/wo/Makefile
+++ b/wo/Makefile
@@ -5,7 +5,7 @@ EXTRAS=$(shell ../.meta/find-extras)
all: $(CURDOC)$(EXTRAS).pdf $(CURDOC)$(EXTRAS)-tolino.pdf
clean:
- rm -f *.pre
+ rm -f *.pre *.post
Clean: clean
rm -f *.pdf *.midi