doc-diff: force worktree add

diff --git a/Documentation/doc-diff b/Documentation/doc-diff
index f483fe427cea4c82ebe69fc67f3a8efd3d53ec9c..19d841ddeb31f2a8b1bc39e06f69f8e670add67c 100755 (executable)
--- a/Documentation/doc-diff
+++ b/Documentation/doc-diff
@@ -54,7 +54,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