Skip to content

Commit

Permalink
fix deploy_book
Browse files Browse the repository at this point in the history
  • Loading branch information
pthom committed Feb 1, 2024
1 parent 2af8538 commit 63f82f4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs_src/deploy_book.sh
Original file line number Diff line number Diff line change
Expand Up @@ -81,7 +81,7 @@ echo "- deploy_book: built docs ($REPO_DIR/tools/doc/process_md_docs.py)"


# Checkout docs branch
git checkout --track origin/docs
git checkout -B docs origin/docs
if [[ $? -ne 0 ]]; then
echo "- deploy_book: ERROR: ******** Error checking out docs branch ********"
exit 1
Expand Down

0 comments on commit 63f82f4

Please sign in to comment.