From 967c85accd11f7e4f23e9f55e057419329d3d84c Mon Sep 17 00:00:00 2001 From: Gabriel Saratura <58511627+zugao@users.noreply.github.com> Date: Tue, 4 Apr 2023 12:41:38 +0300 Subject: [PATCH] Update antora image Change registry and update to the latest version --- docs/antora-build.mk | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/antora-build.mk b/docs/antora-build.mk index da600d9..9013d1e 100644 --- a/docs/antora-build.mk +++ b/docs/antora-build.mk @@ -2,8 +2,8 @@ docs_out_dir := ./.public docker_opts ?= --rm --tty --user "$$(id -u)" -antora_build_version ?= 3.0.1 -antora_cmd ?= $(DOCKER_CMD) run $(docker_opts) --volume "$${PWD}":/antora docker.io/vshn/antora:$(antora_build_version) +antora_build_version ?= 3.1.2.2 +antora_cmd ?= $(DOCKER_CMD) run $(docker_opts) --volume "$${PWD}":/antora ghcr.io/vshn/antora:$(antora_build_version) antora_opts ?= --cache-dir=.cache/antora .PHONY: docs