update ManualJavadocsDeploy.sh 3

leerho · leerho · commit 906fe1b3d7b3 · 2026-01-06T13:19:58.000-08:00
diff --git a/tools/ManualJavadocsDeploy.sh b/tools/ManualJavadocsDeploy.sh
@@ -11,7 +11,7 @@ echo "ECHO: git fetch origin gh-pages"
 git fetch origin gh-pages
 
 echo "ECHO: Create worktree"
-git worktree add ./gh-pages-dir origin/gh-pages
+git worktree add -B gh-pages ./gh-pages-dir origin/gh-pages
 EXIT_CODE=0
 (
   set -e

Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@ echo "ECHO: git fetch origin gh-pages"`
`11`	`11`	`git fetch origin gh-pages`
`12`	`12`
`13`	`13`	`echo "ECHO: Create worktree"`
`14`		`-git worktree add ./gh-pages-dir origin/gh-pages`
	`14`	`+git worktree add -B gh-pages ./gh-pages-dir origin/gh-pages`
`15`	`15`	`EXIT_CODE=0`
`16`	`16`	`(`
`17`	`17`	`set -e`