- clean also pdf

Changed files:
    clean-distfiles.sh -> 1.3

diff --git a/clean-distfiles.sh b/clean-distfiles.sh
index 12abf5eafb751436c56600a60f71524aa3042350..8e7cea9eac16372e8412cc6f38b15381c3dbb2d8 100644 (file)
--- a/clean-distfiles.sh
+++ b/clean-distfiles.sh
@@ -6,7 +6,7 @@
 dir=$(dirname "$0")
 cd "$dir"
 
-ext=bz2,gz,rar,tgz,tbz2,zip,jar,Z,tar,png,ico,xpm,gif,rpm,bin,run,exe,iso,xpi,ZIP,dll
+ext=bz2,gz,rar,tgz,tbz2,zip,jar,Z,tar,png,ico,xpm,gif,rpm,bin,run,exe,iso,xpi,ZIP,dll,pdf
 ls -ldrSh */*.{$ext}
 echo */*.{$ext} | xargs stat -c %s | awk '{s+=$1} END {printf("Total: %d MiB\n", s/1014/1024)}'