Fix makefile to remove sourced and VERSIONed jars

diff --git a/Makefile.base b/Makefile.base
index 9ae14f8833d037ed48f55515953d00037b222260..939658815593b027f05dd2a522a26fdf186327c1 100644 (file)
--- a/Makefile.base
+++ b/Makefile.base
@@ -77,6 +77,9 @@ mrproper: mrpropre
 
 mrpropre: clean
        rm -f $(NAME).jar
+       rm -f $(NAME)-sources.jar
+       [ ! -e VERSION ] || rm -f "$(NAME)-`cat VERSION`.jar"
+       [ ! -e VERSION ] || rm -f "$(NAME)-`cat VERSION`-sources.jar"
 
 love:
        @echo " ...not war."