From ca95b1065a099d4184171e462363195f5d4d2a2d Mon Sep 17 00:00:00 2001
From: Pascal Thomet <pthomet@gmail.com>
Date: Thu, 1 Feb 2024 02:44:20 +0100
Subject: [PATCH] update deploy_book.sh

---
 docs_src/deploy_book.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs_src/deploy_book.sh b/docs_src/deploy_book.sh
index b513c91d..5160e5e7 100755
--- 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