apply: remove directory that becomes empty by renaming the last file away

diff --git a/Documentation/git-mergetool.txt b/Documentation/git-mergetool.txt
index ae69a0eb83ea705b2564c5ed8d3f2ff1313ae8fd..add01e855a09c34b6aa9c83af6efcd17f24f3c9d 100644 (file)
--- a/Documentation/git-mergetool.txt
+++ b/Documentation/git-mergetool.txt
@@ -25,12 +25,12 @@ OPTIONS
 -t or --tool=<tool>::
        Use the merge resolution program specified by <tool>.
        Valid merge tools are:
-       kdiff3, tkdiff, meld, xxdiff, and emerge.
-
-       If a merge resolution program is not specified, 'git mergetool'
-       will use the configuration variable merge.tool.  If the
-       configuration variable merge.tool is not set, 'git mergetool'
-       will pick a suitable default.
+       kdiff3, tkdiff, meld, xxdiff, emerge, vimdiff, and opendiff
++
+If a merge resolution program is not specified, 'git mergetool'
+will use the configuration variable merge.tool.  If the
+configuration variable merge.tool is not set, 'git mergetool'
+will pick a suitable default.
 
 Author
 ------