mergetool: Remove explicit references to /dev/tty

diff --git a/Documentation/rev-list-options.txt b/Documentation/rev-list-options.txt
index 73569c073e7806b727e21eeb168814082195a75d..cc562a057af3694d3518bc91b52ae322b6b1d9cc 100644 (file)
--- a/Documentation/rev-list-options.txt
+++ b/Documentation/rev-list-options.txt
@@ -98,6 +98,15 @@ you would get an output like this:
 This implies the '--topo-order' option by default, but the
 '--date-order' option may also be specified.
 
+ifdef::git-rev-list[]
+--count::
+       Print a number stating how many commits would have been
+       listed, and suppress all other output.  When used together
+       with '--left-right', instead print the counts for left and
+       right commits, separated by a tab.
+endif::git-rev-list[]
+
+
 ifndef::git-rev-list[]
 Diff Formatting
 ~~~~~~~~~~~~~~~