Subject: [PATCH] mergetool,difftool: Simplify --tool-help documentation

From: David Aguilar <[email-masked]>
Date: Fri, 10 Aug 2012 00:39:23 -0700

Remove the entry for --tool-help in the documentation as it is
already mentioned in the documentation for --tool.

Signed-off-by: David Aguilar <[email-masked]>
---
Incompatible with the previous patch, but if you prefer to
mention --tool-help in the docs for --tool only, then choose
this one.

 Documentation/git-difftool.txt | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Documentation/git-difftool.txt b/Documentation/git-difftool.txt
index 313d54e..ee80b00 100644
--- a/Documentation/git-difftool.txt
+++ b/Documentation/git-difftool.txt
@@ -74,9 +74,6 @@ with custom merge tool commands and has the same value as `$MERGED`.
 	Specifying `--no-symlinks` instructs 'git difftool' to create
 	copies instead.  `--no-symlinks` is the default on Windows.
 
---tool-help::
-	Print a list of diff tools that may be used with `--tool`.
-
 -x <command>::
 --extcmd=<command>::
 	Specify a custom command for viewing diffs.
-- 
1.7.12.rc2.16.g034161a