Merge branch 'master' into pb/gitpm

diff --git a/Documentation/git-rm.txt b/Documentation/git-rm.txt
index d8a5afae03bfcfc8323a8a78f8865be58a535a45..66fc478f5736957d56de10ddc69c5c0fd9aad9c6 100644 (file)
--- a/Documentation/git-rm.txt
+++ b/Documentation/git-rm.txt
@@ -3,7 +3,7 @@ git-rm(1)
 
 NAME
 ----
-git-rm - Remove files from the working tree and from the index.
+git-rm - Remove files from the working tree and from the index
 
 SYNOPSIS
 --------
@@ -32,7 +32,7 @@ OPTIONS
 -v::
         Be verbose.
 
---::
+\--::
        This option can be used to separate command-line options from
        the list of files, (useful when filenames might be mistaken
        for command-line options).