From 7881b2993cbaf65a04a8e69b81c300c8893cf08e Mon Sep 17 00:00:00 2001 From: "Dustin J. Mitchell" Date: Sun, 26 Sep 2021 09:34:35 -0400 Subject: [PATCH] update docs --- build-docs.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/build-docs.sh b/build-docs.sh index 82863b556..f693349c7 100755 --- a/build-docs.sh +++ b/build-docs.sh @@ -24,9 +24,10 @@ fi (cd docs/tmp && git pull $REMOTE gh-pages) # remove all files in the worktree and regenerate the book there -git worktree rm docs/tmp +git worktree remove -f docs/tmp rm -rf docs/tmp/* mdbook build docs +mkdir docs/tmp cp -rp docs/book/* docs/tmp # add everything in the worktree, commit, and push