From 4f4536ef0c6bcd681104f95c874e7c010feccd1d Mon Sep 17 00:00:00 2001 From: Alexander Trost Date: Fri, 3 Nov 2023 17:02:54 +0100 Subject: [PATCH] ci: fix mike deploy flags This fixes the docs deploy issues caused by the mike 2.0.0 release that removed/renamed some flags, see https://github.com/jimporter/mike/releases/tag/v2.0.0 Signed-off-by: Alexander Trost (cherry picked from commit 4a48c14861ab10240f76e571e19798dac588e063) --- build/release/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/release/Makefile b/build/release/Makefile index 64b8196cd..b5235e77d 100644 --- a/build/release/Makefile +++ b/build/release/Makefile @@ -145,7 +145,7 @@ publish.docs: if test "$$GITHUB_ACTIONS" = "true"; then git config --unset 'http.https://github.com/.extraheader'; fi git fetch -u docs gh-pages # Switch to root of repo and then run the build and deploy of the documentation - cd $(ROOT_DIR) && mike deploy --remote docs --push --rebase --branch gh-pages --update-aliases --prefix $(DOCS_PREFIX) $(DOCS_VERSION) $(DOCS_VERSION_ALIAS) + cd $(ROOT_DIR) && mike deploy --remote docs --push --branch gh-pages --update-aliases --deploy-prefix $(DOCS_PREFIX) $(DOCS_VERSION) $(DOCS_VERSION_ALIAS) # ==================================================================================== # helm