diff --git a/docs/push_docs.sh b/docs/push_docs.sh index 9441892..ffe3b36 100755 --- a/docs/push_docs.sh +++ b/docs/push_docs.sh @@ -10,7 +10,7 @@ function cleanup { echo "Cleaning up worktree" git worktree remove --force /tmp/earth2grid-pages } -git worktree add pages /tmp/earth2grid-pages +git worktree add /tmp/earth2grid-pages pages trap cleanup EXIT rsync -av --delete --exclude ".git" docs/_build/html/ /tmp/earth2grid-pages/