difftool: provide basename to external tools

[~andy/git] / Documentation / git-difftool.txt

diff --git a/Documentation/git-difftool.txt b/Documentation/git-difftool.txt
index 498b1610f46ce7a4778c0e76f36d212d2a605fae..573843211112a6efb7b296bbc5b11894c01dd8cd 100644 (file)
--- a/Documentation/git-difftool.txt
+++ b/Documentation/git-difftool.txt
@@ -64,6 +64,7 @@ with custom merge tool commands and has the same value as `$MERGED`.
        Specify a custom command for viewing diffs.
        'git-difftool' ignores the configured defaults and runs
        `$command $LOCAL $REMOTE` when this option is specified.
+       Additionally, `$BASE` is set in the environment.
 
 -g::
 --gui::