From b51411d16b61347b36c3c00b425a45b5da549b79 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 20 Jul 2020 10:57:12 +0200
Subject: remove *.post, too

---
 Halleluja/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Halleluja')

diff --git a/Halleluja/Makefile b/Halleluja/Makefile
index dbe7f79..fb92f9c 100644
--- a/Halleluja/Makefile
+++ b/Halleluja/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