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 /Herbei_o_ihr_Glaeubgen/Makefile | |
parent | 4782d17761a19acb55416d2f29a1c7817bae1def (diff) | |
download | Musik-b51411d16b61347b36c3c00b425a45b5da549b79.tar.xz |
remove *.post, too
Diffstat (limited to 'Herbei_o_ihr_Glaeubgen/Makefile')
-rw-r--r-- | Herbei_o_ihr_Glaeubgen/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Herbei_o_ihr_Glaeubgen/Makefile b/Herbei_o_ihr_Glaeubgen/Makefile index dbe7f79..fb92f9c 100644 --- a/Herbei_o_ihr_Glaeubgen/Makefile +++ b/Herbei_o_ihr_Glaeubgen/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 |