Makefile: remove man in mrpropre

diff --git a/Makefile b/Makefile
index 64897def1ea356dc6d52bc7f9347c7b32205a516..596b956d12ab0a9cefeab89a4319660fe8a049af 100644 (file)
--- 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"