From b51411d16b61347b36c3c00b425a45b5da549b79 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Mon, 20 Jul 2020 10:57:12 +0200 Subject: remove *.post, too --- Die_beste_Zeit_im_Jahr_ist_mein/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Die_beste_Zeit_im_Jahr_ist_mein') diff --git a/Die_beste_Zeit_im_Jahr_ist_mein/Makefile b/Die_beste_Zeit_im_Jahr_ist_mein/Makefile index dbe7f79..fb92f9c 100644 --- a/Die_beste_Zeit_im_Jahr_ist_mein/Makefile +++ b/Die_beste_Zeit_im_Jahr_ist_mein/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 -- cgit v1.2.3-70-g09d2