Teach git-clean optional <paths>... parameters.

diff --git a/Documentation/git-commit.txt b/Documentation/git-commit.txt
index 2af472a5691007296ffb3a3c0921ab27e23e3884..38df59ce2357fcd37810b2aaca9d759e9138e654 100644 (file)
--- a/Documentation/git-commit.txt
+++ b/Documentation/git-commit.txt
@@ -83,15 +83,16 @@ OPTIONS
        the current tip as parents -- so the current top commit is
        discarded.
 +
+--
 It is a rough equivalent for:
-+
-------------
+------
        $ git reset --soft HEAD^
        $ ... do something else to come up with the right tree ...
        $ git commit -c ORIG_HEAD
-------------
-+
+
+------
 but can be used to amend a merge commit.
+--
 
 -i|--include::
        Instead of committing only the files specified on the
@@ -105,7 +106,7 @@ but can be used to amend a merge commit.
        index and the latest commit does not match on the
        specified paths to avoid confusion.
 
---::
+\--::
        Do not interpret any more arguments as options.
 
 <file>...::