branch: update output to include worktree info

diff --git a/Documentation/doc-diff b/Documentation/doc-diff
index 93fe1c791fc333fbfd8b0a332e9781bb80038e30..32c83dd26f4adf87fd9d6a3ebc6400f6bc108fc7 100755 (executable)
--- a/Documentation/doc-diff
+++ b/Documentation/doc-diff
@@ -74,7 +74,7 @@ fi
 # results that don't differ between the two trees.
 if ! test -d "$tmp/worktree"
 then
-       git worktree add --detach "$tmp/worktree" "$from" &&
+       git worktree add -f --detach "$tmp/worktree" "$from" &&
        dots=$(echo "$tmp/worktree" | sed 's#[^/]*#..#g') &&
        ln -s "$dots/config.mak" "$tmp/worktree/config.mak"
 fi