diff options
| author | Erich Eckner <git@eckner.net> | 2020-07-20 10:57:12 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-07-20 10:57:12 +0200 |
| commit | b51411d16b61347b36c3c00b425a45b5da549b79 (patch) | |
| tree | d053558c047fcfecca566098aa7d7dc26e21d71e /wo/Makefile | |
| parent | 4782d17761a19acb55416d2f29a1c7817bae1def (diff) | |
| download | Musik-b51411d16b61347b36c3c00b425a45b5da549b79.tar.xz | |
remove *.post, too
Diffstat (limited to 'wo/Makefile')
| -rw-r--r-- | wo/Makefile | 2 |
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 |