checkout: improve die_if_checked_out() robustness

diff --git a/Documentation/git.txt b/Documentation/git.txt
index 96354af0d7c6ebbf57c912a9a6445b82e0623ab9..ef76f952708b46cff693b51fbd3334c5336ff689 100644 (file)
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -813,7 +813,8 @@ Git so take care if using Cogito etc.
        If this variable is set to a path, non-worktree files that are
        normally in $GIT_DIR will be taken from this path
        instead. Worktree-specific files such as HEAD or index are
-       taken from $GIT_DIR. See linkgit:gitrepository-layout[5] for
+       taken from $GIT_DIR. See linkgit:gitrepository-layout[5] and
+       linkgit:git-worktree[1] for
        details. This variable has lower precedence than other path
        variables such as GIT_INDEX_FILE, GIT_OBJECT_DIRECTORY...