zip the output images after creating them

scripts/bitmaps/make_bmp_images.sh

Index: scripts/bitmaps/make_bmp_images.sh
diff --git a/scripts/bitmaps/make_bmp_images.sh b/scripts/bitmaps/make_bmp_images.sh
index 6f0f767ee61f262292fe0f0949157dbbd7712a56..84173c1ffe59cf2533c4c7fe105a3e03665d8c15 100755
--- a/scripts/bitmaps/make_bmp_images.sh
+++ b/scripts/bitmaps/make_bmp_images.sh
@@ -39,9 +39,10 @@ img_txt_b="${tmpdir}/img_txt_b.bmp"
 label_file="${tmpdir}/label.txt"
 
 # Output directories
-outdir_a=$(dirname $0)/out_${geom_crop_a}
+thisdir=$(readlink -e $(dirname $0))
+outdir_a=${thisdir}/out_${geom_crop_a}
 [ -d "$outdir_a" ] || mkdir -p "$outdir_a"
-outdir_b=$(dirname $0)/out_${geom_crop_b}
+outdir_b=${thisdir}/out_${geom_crop_b}
 [ -d "$outdir_b" ] || mkdir -p "$outdir_b"
 
 
@@ -107,3 +108,7 @@ function process_one_file {
 for file in originals/*.gif; do
   process_one_file "$file"
 done
+
+# Zip up the bitmaps
+(cd "$outdir_a" && zip -qr "${thisdir}/out_${geom_crop_a}.zip" *)
+(cd "$outdir_b" && zip -qr "${thisdir}/out_${geom_crop_b}.zip" *)