From c5ef27177815e7ba74b37247051d47ba0b2d022b Mon Sep 17 00:00:00 2001
From: Anno Knierim <anno.knierim@tu-dortmund.de>
Date: Thu, 1 Oct 2026 14:15:09 +0200
Subject: [PATCH] fix: remove files separately

Make uses `/bin/sh` as shell by default. Brace expansion is not available in `/bin/sh/`. As such, either set `SHELL` to `/bin/bash` or, better in this case, remove the files separately
---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index bac3ca6..c41279e 100644
--- a/Makefile
+++ b/Makefile
@@ -7,6 +7,7 @@ plot2.pdf: plot2.py
 	python plot2.py
 
 clean:
-	rm -f plot{1,2}.pdf
+	rm -f plot1.pdf
+	rm -f plot2.pdf
 
 .PHONY: all clean