From c8096402744a12a514033fcb21da75ab08d1822f Mon Sep 17 00:00:00 2001 From: Michael Sappler Date: Wed, 13 Dec 2023 13:37:29 +0100 Subject: [PATCH] Update docs gh-pages sh --- deploy_docs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/deploy_docs b/deploy_docs index c585282..c1bf7a7 100755 --- a/deploy_docs +++ b/deploy_docs @@ -1,8 +1,7 @@ set -e git checkout gh-pages -git merge main -git commit -m 'Merge main' +git merge main --commit lein codox rm -rf docs mv target/doc docs