fix: use .deploy-docs-workdir to avoid conflict with repo deploy/ folder

The deploy script used deploy/ as workdir, which conflicts with the repo's
deploy/ folder. Git checkout of gh-pages failed with 'untracked working
tree files would be overwritten'. Use isolated .deploy-docs-workdir instead.

Made-with: Cursor

Author: davidberenstein1957

.gitignore

@@ -104,6 +104,7 @@ venv.bak/
 # mkdocs documentation
 /site
 /deploy
+.deploy-docs-workdir/
 
 # mypy
 .mypy_cache/

scripts/deploy-docs.sh

@@ -9,7 +9,7 @@ VERSION_FULL="${1:?Usage: deploy-docs.sh VERSION_FULL}"
 VERSION_MINOR="${VERSION_FULL%.*}"
 REPO_ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
 SITE_DIR="${2:-site}"
-DEPLOY_DIR="${3:-deploy}"
+DEPLOY_DIR="${3:-.deploy-docs-workdir}"
 
 cd "$REPO_ROOT"
 mkdir -p "$DEPLOY_DIR"