Re-activated the GitHub action to build and publish the docker image.

Signed-off-by: Michael Keller <github@ike.ch>

scripts/docker/android-build-container/Dockerfile

@@ -15,6 +15,7 @@ RUN apt-get update  && \
 
 WORKDIR /android
 
+# Scrape the manually curated Qt install from the previous build image
 COPY --from=base /android/5.15.1 5.15.1
 
 # install, NDK and SDK there, plus the three files from the Subsurface

scripts/docker/android-build-container/download.sh

@@ -1,6 +0,0 @@
-#!/bin/bash
-
-wget https://download.qt.io/official_releases/qt/5.13/5.13.1/qt-opensource-linux-x64-5.13.1.run
-wget https://dl.google.com/android/repository/android-ndk-r18b-linux-x86_64.zip
-wget https://dl.google.com/android/repository/sdk-tools-linux-4333796.zip
-wget https://ftp.osuosl.org/pub/blfs/conglomeration/cmake/cmake-3.13.2.tar.gz

scripts/docker/android-build-container/setup-docker.sh

@@ -16,5 +16,9 @@
 cp ../../../packaging/android/android-build-setup.sh .
 cp ../../../packaging/android/variables.sh .
 
+if [ "$1X" == "-no-docker-buildX" ]; then
+    exit 0
+fi
+
 # create the container (this takes a while)
 docker build -t android-build .