clean-distfiles: clean .xz, .deb, .crx; drop empty purgedir

diff --git a/clean-distfiles.sh b/clean-distfiles.sh
index b49f1b23bdb57fe5e43ebbae72c1ad3fcd9b0a6d..617000a4c8bb14280a85c5021bafade9532ef3da 100755 (executable)
--- a/clean-distfiles.sh
+++ b/clean-distfiles.sh
@@ -21,7 +21,7 @@ fi
 
 cd "$topdir"
 
-ext=bz2,gz,rar,tgz,tbz2,zip,jar,Z,tar,png,ico,xpm,gif,rpm,bin,run,exe,iso,xpi,ZIP,dll,pdf
+ext=bz2,gz,rar,tgz,tbz2,zip,jar,Z,tar,png,ico,xpm,gif,rpm,bin,run,exe,iso,xpi,ZIP,dll,pdf,xz,deb,crx
 ls -ldrSh */*.{$ext} || :
 echo */*.{$ext} | xargs stat -c %s | awk '{s+=$1} END {printf("Total: %d MiB\n", s/1014/1024)}'
 
@@ -30,3 +30,4 @@ read a
 
 install -d $purgedir
 mv */*.{$ext} $purgedir
+rmdir $purgedir || :