ci: Update and use deploy target

2026-08-09 18:32:53 +02:00 · 2020-10-17 16:48:56 +02:00
parent 3a743ae48f
commit 3b5f31d73d
2 changed files with 2 additions and 2 deletions
@@ -19,4 +19,4 @@ b build:
 	mkdocs build --strict

 d deploy:
-	mkdocs gh-deploy --strict
+	mkdocs gh-deploy --strict --force