remove mike set-default

dasch-swiss · Mar 27, 2024 · 24e95eb · 24e95eb
1 parent 2a82ee2
commit 24e95eb
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -27,7 +27,6 @@ build: openapi-update ## build docs into the local 'site' folder
 	@$(MAKE) graphvizfigures
 	@$(MAKE) openapi-update
 	.venv/bin/mike deploy $(DSP) latest --update-aliases
-	.venv/bin/mike set-default latest
 
 .PHONY: serve
 serve: ## serve docs for local viewing

diff --git a/update-and-deploy.sh b/update-and-deploy.sh
@@ -66,7 +66,5 @@ else
 	echo "Deploy version ${v} to github pages now"
 	.venv/bin/mike deploy --push --branch gh-pages --update-aliases ${v} ${alias}
 
-	# keep the latest stable version as default
-	.venv/bin/mike set-default --push --branch gh-pages latest
 	echo $sep
 fi