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 <galexrt@googlemail.com>
(cherry picked from commit 4a48c14861)
This commit is contained in:
1 parent
3bb7389765
commit
4f4536ef0c
1 file changed
+1
-1
@@ -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
|
||||
|
||||
Reference in new issue
Block a user