user-manual: remote-tracking can be checked out, with detached HEAD

diff --git a/Documentation/pretty-options.txt b/Documentation/pretty-options.txt
index d78e121c76ef12b2d72fbdf1558fa967dfdba85b..50923e2ce9a5bdc3bcabb072a67921c6cf8171c1 100644 (file)
--- a/Documentation/pretty-options.txt
+++ b/Documentation/pretty-options.txt
@@ -1,5 +1,5 @@
---pretty[='<format>']::
---format[='<format>']::
+--pretty[=<format>]::
+--format=<format>::
 
        Pretty-print the contents of the commit logs in a given format,
        where '<format>' can be one of 'oneline', 'short', 'medium',