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