also push latest

buildimage.sh

@@ -12,6 +12,7 @@ echo "maxima: $2"
 echo "stack: $3"
 # tag the image
 IMAGENAME="$5/goemaxima-$3:$6"
+IMAGELATEST="$5/goemaxima-$3:latest"
 # check if the image already exists on the server
 docker pull "${IMAGENAME}"
 # build it