From bf1268a9df5a8219d400e5abc21c838511fe31cf Mon Sep 17 00:00:00 2001
From: Niki Roo <niki@nikiroo.be>
Date: Sun, 30 Jun 2024 19:26:18 +0200
Subject: [PATCH] Makefile: remove man in mrpropre

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

diff --git a/Makefile b/Makefile
index 64897de..596b956 100644
--- a/Makefile
+++ b/Makefile
@@ -111,7 +111,7 @@ clean:
 	done
 
 mrproper: mrpropre
-mrpropre: clean
+mrpropre: clean man
 	rm -f $(NAME).jar
 	rm -f $(NAME)-sources.jar
 	[ ! -e VERSION ] || rm -f "$(NAME)-`cat VERSION`.jar"
-- 
2.27.0