more updates to build-docs.sh
This commit is contained in:
@@ -15,8 +15,7 @@ fi
|
|||||||
cargo build -p taskchampion-cli --features usage-docs --bin usage-docs
|
cargo build -p taskchampion-cli --features usage-docs --bin usage-docs
|
||||||
|
|
||||||
# create a worktree of this repo, with the `gh-pages` branch checked out
|
# create a worktree of this repo, with the `gh-pages` branch checked out
|
||||||
git branch -D gh-pages 2>/dev/null || true
|
git branch -f gh-pages $REMOTE/gh-pages
|
||||||
git checkout -b gh-pages $REMOTE/gh-pages
|
|
||||||
if ! [ -d ./docs/tmp ]; then
|
if ! [ -d ./docs/tmp ]; then
|
||||||
git worktree add docs/tmp gh-pages
|
git worktree add docs/tmp gh-pages
|
||||||
fi
|
fi
|
||||||
|
|||||||
Reference in New Issue
Block a user