From b1ef3af1a8725cd9053941542772b17b66a5cbe5 Mon Sep 17 00:00:00 2001
From: Robert Sachunsky <sachunsky@informatik.uni-leipzig.de>
Date: Fri, 2 May 2025 00:18:35 +0200
Subject: [PATCH] docker: use latest core base stage

---
 Makefile | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 12f342a..3729311 100644
--- a/Makefile
+++ b/Makefile
@@ -3,8 +3,9 @@ PIP = pip3
 PYTHONIOENCODING=utf8
 PYTEST_ARGS = -vv
 
-DOCKER_BASE_IMAGE = docker.io/ocrd/core:v3.3.0
-DOCKER_TAG = ocrd/dinglehopper
+DOCKER_BASE_IMAGE ?= docker.io/ocrd/core:latest
+DOCKER_TAG ?= ocrd/dinglehopper
+DOCKER ?= docker
 
 help:
 	@echo
@@ -24,7 +25,7 @@ test:
 	pytest $(PYTEST_ARGS)
 
 docker:
-	docker build \
+	$(DOCKER) build \
 	--build-arg DOCKER_BASE_IMAGE=$(DOCKER_BASE_IMAGE) \
 	--build-arg VCS_REF=$$(git rev-parse --short HEAD) \
 	--build-arg BUILD_DATE=$$(date -u +"%Y-%m-%dT%H:%M:%SZ") \