update deploy_book.sh

pthom · Feb 1, 2024 · ca95b10 · ca95b10
1 parent c7e9ed6
commit ca95b10
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs_src/deploy_book.sh b/docs_src/deploy_book.sh
@@ -81,7 +81,7 @@ echo "- deploy_book: built docs ($REPO_DIR/tools/doc/process_md_docs.py)"
 
 
 # Checkout docs branch
-git checkout docs
+git checkout --track origin/docs
 if [[ $? -ne 0 ]]; then
     echo "- deploy_book: ERROR: ******** Error checking out docs branch ********"
     exit 1