Simplify "How to make a commit"

Combine the two cases for "git add" into one. Add verb "use" to "git rm" case. Signed-off-by: Thomas Ackermann <th.acker@arcor.de> Signed-off-by: Junio C Hamano <gitster@pobox.com>

Thomas Ackermann committed Aug 27, 2013 at 20:01 UTC d39765b12e1e1ab8e8a798466d942bd94063c39f
1 file changed +2 -8
Documentation/user-manual.txt
+2 -8
@@ -1080,19 +1080,13 @@ produce no output at that point.
1080
1081 Modifying the index is easy:
1082
1083 -To update the index with the new contents of a modified file, use
1083 +To update the index with the contents of a new or modified file, use
1084
1085 -------------------------------------------------
1086 $ git add path/to/file
1087 -------------------------------------------------
1088
1089 -To add the contents of a new file to the index, use
1090 -
1091 --------------------------------------------------
1092 -$ git add path/to/file
1093 --------------------------------------------------
1094 -
1095 -To remove a file from the index and from the working tree,
1089 +To remove a file from the index and from the working tree, use
1090
1091 -------------------------------------------------
1092 $ git rm path/to/file